-
cbmc (5.89.0-2) unstable; urgency=low
* Disable tests demonstrating portability problems
-- Michael Tautschnig <email address hidden> Wed, 09 Aug 2023 08:36:16 +0100
-
cbmc (5.89.0-1) unstable; urgency=low
* New upstream release
* Fix includes in endianness patch (Closes: #1042030)
-- Michael Tautschnig <email address hidden> Mon, 07 Aug 2023 10:59:11 +0100
-
cbmc (5.84.0-11) unstable; urgency=low
* Disable more tests with portability problems
-- Michael Tautschnig <email address hidden> Wed, 28 Jun 2023 18:55:27 +0100
-
cbmc (5.84.0-10) unstable; urgency=low
* Fix more portability problems (Closes: #1038866)
-- Michael Tautschnig <email address hidden> Wed, 28 Jun 2023 11:27:44 +0100
-
cbmc (5.84.0-9) unstable; urgency=low
* Disable more tests with portability problems
-- Michael Tautschnig <email address hidden> Tue, 27 Jun 2023 18:55:42 +0100
-
cbmc (5.84.0-8) unstable; urgency=low
* Fixup patch
-- Michael Tautschnig <email address hidden> Tue, 27 Jun 2023 10:01:38 +0100
-
cbmc (5.84.0-7) unstable; urgency=low
* Enable fortify hardening
* Fix autopkgtest
* Fix further portability problems
-- Michael Tautschnig <email address hidden> Mon, 26 Jun 2023 06:10:31 +0100
-
cbmc (5.84.0-6) unstable; urgency=low
* Fix further portability problems (Closes: #1038866)
-- Michael Tautschnig <email address hidden> Sun, 25 Jun 2023 20:14:35 +0100
-
cbmc (5.84.0-5) unstable; urgency=low
* Fix further portability problems
-- Michael Tautschnig <email address hidden> Fri, 16 Jun 2023 21:58:47 +0100
-
cbmc (5.84.0-4) unstable; urgency=low
* Fix portability problems
-- Michael Tautschnig <email address hidden> Tue, 13 Jun 2023 21:27:48 +0100
-
cbmc (5.84.0-3) unstable; urgency=low
* Fix several lintian warnings
* Introduce new jbmc binary package
-- Michael Tautschnig <email address hidden> Mon, 05 Jun 2023 20:18:58 +0100
-
cbmc (5.84.0-2) unstable; urgency=low
* Fix several portability issues.
* Added autopkgtest
-- Michael Tautschnig <email address hidden> Sat, 03 Jun 2023 21:07:29 +0100
-
cbmc (5.84.0-1) unstable; urgency=low
* New upstream release
* Includes bugfix for unintentional copy (Closes: #984008)
* Updated Standards version to 4.6.0 (no changes required)
-- Michael Tautschnig <email address hidden> Wed, 31 May 2023 08:18:04 +0100
-
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