Originally uploaded to
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
cbmc (5.12-5) unstable; urgency=low
* Disable regression tests that take too long on mipsel.
-- Michael Tautschnig <email address hidden> Mon, 04 May 2020 13:06:54 +0100