cbmc (6.6.0-4ubuntu2) resolute; urgency=medium

  * d/{control, rules}: Add an alternative to build using openjdk-11 on riscv64
    util openjdk-8 is available for riscv64 (LP: #2142628).

 -- Vladimir Petko <vladimir.petko@canonical.com>  Mon, 02 Mar 2026 11:18:52 +1300

cbmc (6.6.0-4ubuntu1) resolute; urgency=medium

  * d/{control, rules}: Use openjdk-8-jdk-headless to build the
    package. It does not support Java 9+. (LP: #2142628).

 -- Vladimir Petko <vladimir.petko@canonical.com>  Wed, 25 Feb 2026 10:08:40 +1300

cbmc (6.6.0-4build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

 -- Sebastien Bacher <seb128@debian.org>  Fri, 06 Feb 2026 21:10:38 +0100

cbmc (6.6.0-4) unstable; urgency=low

  * Fix Maven dependencies for regression tests, again

 -- Michael Tautschnig <mt@debian.org>  Wed, 30 Apr 2025 12:16:16 +0000

cbmc (6.6.0-3) unstable; urgency=low

  * Fix Maven dependencies for regression tests

 -- Michael Tautschnig <mt@debian.org>  Tue, 29 Apr 2025 15:51:39 +0000

cbmc (6.6.0-2) unstable; urgency=low

  * Fix Maven integration for regression tests

 -- Michael Tautschnig <mt@debian.org>  Tue, 29 Apr 2025 13:54:42 +0000

cbmc (6.6.0-1) unstable; urgency=low

  * New upstream release, which includes C23 support (Closes: #1096417)

 -- Michael Tautschnig <mt@debian.org>  Mon, 28 Apr 2025 20:41:18 +0000

cbmc (6.4.1-2) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <mt@debian.org>  Wed, 22 Jan 2025 08:38:54 +0000

cbmc (6.4.1-1) unstable; urgency=low

  * New upstream release
  * Fix Maven versioned dependency (Closes: #1091116)

 -- Michael Tautschnig <mt@debian.org>  Tue, 21 Jan 2025 11:40:10 +0000

cbmc (6.1.1-2) unstable; urgency=low

  * Fix support for ARM-specific vector types

 -- Michael Tautschnig <mt@debian.org>  Fri, 02 Aug 2024 11:58:55 +0000

cbmc (6.1.1-1) unstable; urgency=low

  * New upstream release, which includes support for building with GCC 14
    (Closes: #1074869)
  * Support ARM-specific vector types (Closes: #1070441)

 -- Michael Tautschnig <mt@debian.org>  Thu, 01 Aug 2024 17:57:12 +0000

cbmc (6.0.1-2) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <mt@debian.org>  Fri, 05 Jul 2024 17:55:42 +0000

cbmc (6.0.1-1) unstable; urgency=low

  * New upstream release
  * Updated Standards version to 4.7.0 (no changes required)

 -- Michael Tautschnig <mt@debian.org>  Fri, 05 Jul 2024 11:26:45 +0000

cbmc (5.95.1-6) unstable; urgency=low

  * Add mmap64, __time64 support

 -- Michael Tautschnig <mt@debian.org>  Tue, 30 Apr 2024 08:41:23 +0000

cbmc (5.95.1-5) unstable; urgency=low

  * Add fopen64 support (Closes: #1069438)
  * Add loong64 support - thanks wuruilong for the patch (Closes: #1069990) 

 -- Michael Tautschnig <mt@debian.org>  Mon, 29 Apr 2024 12:56:13 +0000

cbmc (5.95.1-4) unstable; urgency=low

  * Fix portability problems for hurd and sh4

 -- Michael Tautschnig <mt@debian.org>  Mon, 19 Feb 2024 12:28:17 +0000

cbmc (5.95.1-3) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <mt@debian.org>  Fri, 16 Feb 2024 19:10:17 +0000

cbmc (5.95.1-2) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <mt@debian.org>  Fri, 16 Feb 2024 14:14:49 +0000

cbmc (5.95.1-1) unstable; urgency=low

  * New upstream release

 -- Michael Tautschnig <mt@debian.org>  Fri, 16 Feb 2024 10:04:32 +0000

cbmc (5.89.0-2) unstable; urgency=low

  * Disable tests demonstrating portability problems

 -- Michael Tautschnig <mt@debian.org>  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 <mt@debian.org>  Mon, 07 Aug 2023 10:59:11 +0100

cbmc (5.84.0-11) unstable; urgency=low

  * Disable more tests with portability problems

 -- Michael Tautschnig <mt@debian.org>  Wed, 28 Jun 2023 18:55:27 +0100

cbmc (5.84.0-10) unstable; urgency=low

  * Fix more portability problems (Closes: #1038866)

 -- Michael Tautschnig <mt@debian.org>  Wed, 28 Jun 2023 11:27:44 +0100

cbmc (5.84.0-9) unstable; urgency=low

  * Disable more tests with portability problems

 -- Michael Tautschnig <mt@debian.org>  Tue, 27 Jun 2023 18:55:42 +0100

cbmc (5.84.0-8) unstable; urgency=low

  * Fixup patch

 -- Michael Tautschnig <mt@debian.org>  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 <mt@debian.org>  Mon, 26 Jun 2023 06:10:31 +0100

cbmc (5.84.0-6) unstable; urgency=low

  * Fix further portability problems (Closes: #1038866)

 -- Michael Tautschnig <mt@debian.org>  Sun, 25 Jun 2023 20:14:35 +0100

cbmc (5.84.0-5) unstable; urgency=low

  * Fix further portability problems

 -- Michael Tautschnig <mt@debian.org>  Fri, 16 Jun 2023 21:58:47 +0100

cbmc (5.84.0-4) unstable; urgency=low

  * Fix portability problems

 -- Michael Tautschnig <mt@debian.org>  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 <mt@debian.org>  Mon, 05 Jun 2023 20:18:58 +0100

cbmc (5.84.0-2) unstable; urgency=low

  * Fix several portability issues.
  * Added autopkgtest

 -- Michael Tautschnig <mt@debian.org>  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 <mt@debian.org>  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 <mt@debian.org>  Mon, 04 May 2020 13:06:54 +0100

cbmc (5.12-4) unstable; urgency=low

  * __float128 is not available on ppc64el (again)
  * Fix acceptable test input
  * Simplify big-endian byte updates

 -- Michael Tautschnig <mt@debian.org>  Fri, 01 May 2020 07:06:38 +0100

cbmc (5.12-3) unstable; urgency=low

  * Fix endianness assumptions in tests
  * __float128 is not available on all architectures (again)

 -- Michael Tautschnig <mt@debian.org>  Thu, 30 Apr 2020 16:26:35 +0100

cbmc (5.12-2) unstable; urgency=low

  * __float128 is not available on all architectures
  * Fix endianness conversion in ELF reader

 -- Michael Tautschnig <mt@debian.org>  Wed, 29 Apr 2020 10:34:10 +0100

cbmc (5.12-1) unstable; urgency=low

  * New upstream release
  * Updated Standards version to 4.5.0.1 (no changes required)
  * Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256)

 -- Michael Tautschnig <mt@debian.org>  Tue, 28 Apr 2020 15:32:56 +0100

cbmc (5.10-5.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build fixes:
    - Fix the build with libmaven-compiler-plugin-java 3.8.1.
    - Backport upstream fix for building with new bison.
    (Closes: #952256)

 -- Adrian Bunk <bunk@debian.org>  Tue, 07 Apr 2020 11:55:23 +0300

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog jbmc`.
