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