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

cbmc (5.10-5) unstable; urgency=low

  * Use default-jdk-headless instead of openjdk-8 (Closes: #910704)

 -- Michael Tautschnig <mt@debian.org>  Wed, 17 Oct 2018 19:55:17 +0100

cbmc (5.10-4) unstable; urgency=low

  * Mark java_append_char test as THOROUGH as it requires more memory than
    available on some buildds.
  * Fix-up __float128 patch for ppc64 and powerpc.

 -- Michael Tautschnig <mt@debian.org>  Mon, 01 Oct 2018 08:00:38 +0100

cbmc (5.10-3) unstable; urgency=low

  * Fix regression tests using __float128, which is not available on all
    architectures.

 -- Michael Tautschnig <mt@debian.org>  Sun, 30 Sep 2018 18:29:38 +0100

cbmc (5.10-2) unstable; urgency=low

  * Fix regression tests using __float80, which is x86 only (Closes: #909932)

 -- Michael Tautschnig <mt@debian.org>  Sun, 30 Sep 2018 15:08:10 +0100

cbmc (5.10-1) unstable; urgency=low

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

 -- Michael Tautschnig <mt@debian.org>  Thu, 27 Sep 2018 10:18:47 +0100

cbmc (5.9-6) unstable; urgency=low

  * Fix mips 32-bit cross configuration
  * Fix Java string literal conversion for big-endian architectures

 -- Michael Tautschnig <mt@debian.org>  Thu, 05 Jul 2018 22:36:05 +0100

cbmc (5.9-5) unstable; urgency=low

  * Add support for goto-gcc on kfreebsd
  * Fix regression test for unsigned-char architectures

 -- Michael Tautschnig <mt@debian.org>  Wed, 04 Jul 2018 16:50:58 +0100

cbmc (5.9-4) unstable; urgency=low

  * Fix preprocessing flags for non-x86 architectures
  * Fix copy&paste error in built-in library
  * Fix endianness bugs in tests
  * Enable all hardening flags

 -- Michael Tautschnig <mt@debian.org>  Wed, 04 Jul 2018 10:53:33 +0100

cbmc (5.9-3) unstable; urgency=low

  * Make bitwidth preprocessor options architecture-specific

 -- Michael Tautschnig <mt@debian.org>  Tue, 03 Jul 2018 18:58:45 +0100

cbmc (5.9-2) unstable; urgency=low

  * Build-depends libc6-dev-i386 for amd64, x32

 -- Michael Tautschnig <mt@debian.org>  Tue, 03 Jul 2018 16:17:02 +0100

cbmc (5.9-1) unstable; urgency=low

  * New upstream release
    - Fixes FTBFS with new GCC due to uninitialized variables (Closes: #871068)

 -- Michael Tautschnig <mt@debian.org>  Mon, 02 Jul 2018 17:12:01 +0100

cbmc (5.6-1) unstable; urgency=low

  * New upstream release
  * Disable Pointer_array5 test due to endianness bugs (Closes: #844776)

 -- Michael Tautschnig <mt@debian.org>  Sun, 04 Dec 2016 09:18:48 +0000

cbmc (5.5-1) unstable; urgency=low

  * New upstream release

 -- Michael Tautschnig <mt@debian.org>  Sun, 16 Oct 2016 13:10:20 +0100

cbmc (5.4-3) unstable; urgency=medium

  * Disable enum8 test due to limitations in C++ front-end. Thanks Lucas for
    reporting (Closes: #831166)

 -- Michael Tautschnig <mt@debian.org>  Thu, 14 Jul 2016 09:45:43 +0100

cbmc (5.4-2) unstable; urgency=low

  * Install goto-analyzer
  * Updated Standards version to 3.9.8 (no changes required)
  * Include recent big-endian patches to make mips(el), powerpc, s390x happy

 -- Michael Tautschnig <mt@debian.org>  Mon, 09 May 2016 09:07:09 +0100

cbmc (5.4-1) unstable; urgency=low

  * New upstream release
  * Builds using GCC 6 (Closes: #811603)
  * Changed watchfile to monitor github
  * Fully enable hardening
  * Updated Standards version to 3.9.7 (no changes required)

 -- Michael Tautschnig <mt@debian.org>  Fri, 22 Apr 2016 11:03:08 +0100

cbmc (5.3-1) unstable; urgency=low

  * New upstream release
  * non-static-build patch merged
  * Re-licensed Debian packaging to BSD 2-clause

 -- Michael Tautschnig <mt@debian.org>  Wed, 20 Jan 2016 04:03:52 +0000

cbmc (5.2-1) unstable; urgency=low

  * New upstream release

 -- Michael Tautschnig <mt@debian.org>  Wed, 02 Sep 2015 14:37:38 +0100

cbmc (5.1-2) unstable; urgency=low

  * Proper cleanup

 -- Michael Tautschnig <mt@debian.org>  Mon, 11 May 2015 13:18:40 +0100

cbmc (5.1-1) unstable; urgency=low

  * New upstream release
  * Most 5.0 patches merged

 -- Michael Tautschnig <mt@debian.org>  Mon, 11 May 2015 00:39:01 +0100

cbmc (5.0-3) unstable; urgency=low

  * Fix long-double-width on sparc

 -- Michael Tautschnig <mt@debian.org>  Sun, 08 Feb 2015 09:16:23 +0000

cbmc (5.0-2) unstable; urgency=low

  * Pick big-endian patches from trunk (Closes: 776842)

 -- Michael Tautschnig <mt@debian.org>  Sat, 07 Feb 2015 22:23:33 +0000

cbmc (5.0-1) unstable; urgency=low

  * New upstream release
  * Most 4.9 patches merged
  * Includes support for ppc64el. Thanks Breno Leitao for further patches.
    (Closes: #765376)

 -- Michael Tautschnig <mt@debian.org>  Thu, 29 Jan 2015 07:30:49 +0000

cbmc (4.9-5) unstable; urgency=low

  * Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up.
    (Closes: #773455)
  * Updated Standards version to 3.9.6 (no changes required)

 -- Michael Tautschnig <mt@debian.org>  Thu, 18 Dec 2014 16:46:38 +0000

cbmc (4.9-4) unstable; urgency=low

  * Work around binutils regression using ar rcf instead of ld -r. Thanks
    Matthias Klose for the suggestion. (Closes: #763228)

 -- Michael Tautschnig <mt@debian.org>  Sat, 11 Oct 2014 12:58:47 +0100

cbmc (4.9-3) unstable; urgency=low

  * Actually fix most instances of missing big-endian support
  * Fixes for SH-4 and ARM64 configuration

 -- Michael Tautschnig <mt@debian.org>  Thu, 07 Aug 2014 14:45:19 +0100

cbmc (4.9-2) unstable; urgency=low

  * Again mark several tests as KNOWNBUG due to incomplete big-endian
    support

 -- Michael Tautschnig <mt@debian.org>  Wed, 06 Aug 2014 12:17:09 +0100

cbmc (4.9-1) unstable; urgency=low

  * New upstream release
  * All 4.7 patches merged

 -- Michael Tautschnig <mt@debian.org>  Sun, 03 Aug 2014 16:22:33 +0100

cbmc (4.7-2) unstable; urgency=low

  * Mark tests Pointer_Arithmetic12, Pointer_byte_extract{2,3,5}
    as KNOWNBUG due to incomplete big-endian support
    (Closes: #754717)

 -- Michael Tautschnig <mt@debian.org>  Tue, 15 Jul 2014 11:54:44 +0100

cbmc (4.7-1) unstable; urgency=low

  * New upstream release
  * All 4.5 patches merged
  * Updated Standards version to 3.9.5 (no changes required)
  * Added support for mips ABI n32, n64.
    Thanks Sphinx Jiang (Closes: #752072)

 -- Michael Tautschnig <mt@debian.org>  Sat, 28 Jun 2014 17:55:30 +0100

cbmc (4.5-2) unstable; urgency=low

  * Fixed typo in powerpc sub-arch configuration causing FTBFS

 -- Michael Tautschnig <mt@debian.org>  Mon, 26 Aug 2013 00:07:54 +0100

cbmc (4.5-1) unstable; urgency=low

  * New upstream release
  * All 4.4 patches merged

 -- Michael Tautschnig <mt@debian.org>  Sun, 25 Aug 2013 12:33:14 +0100

cbmc (4.4-2) unstable; urgency=low

  * armhf requires __ARM_PCS_VFP to be defined

 -- Michael Tautschnig <mt@debian.org>  Wed, 10 Jul 2013 22:56:58 +0100

cbmc (4.4-1) unstable; urgency=low

  * New upstream release (Closes: #701253, #713605)

 -- Michael Tautschnig <mt@debian.org>  Wed, 10 Jul 2013 12:39:13 +0100

cbmc (4.3-6) unstable; urgency=low

  * Also added -5 patch to series  file to actually fix the problems
  * Update gcc_types_compatible_p1 to SVN HEAD
  * Cherry-pick upstream r2114-2118, r2120, r2167

 -- Michael Tautschnig <mt@debian.org>  Fri, 15 Feb 2013 18:35:06 +0000

cbmc (4.3-5) unstable; urgency=low

  * Cherry-pick upstream r2113 to fix failing regression tests on arm* and
    mips*
  * Cherry-pick upstream r2144 and r2148 to fix failing regression tests on
    powerpc, s390*, and sparc

 -- Michael Tautschnig <mt@debian.org>  Fri, 15 Feb 2013 10:52:56 +0000

cbmc (4.3-4) unstable; urgency=low

  * Cherry-pick upstream r2142 and r2143 to fix failing regression tests on
    arm*, mips*, powerpc, s390*, and sparc

 -- Michael Tautschnig <mt@debian.org>  Tue, 12 Feb 2013 15:01:56 +0000

cbmc (4.3-3) unstable; urgency=low

  * Cherry-pick upstream r2134 and r2139 to fix failing regression tests on
    arm*, ia64, mips*, powerpc, s390*, and sparc

 -- Michael Tautschnig <mt@debian.org>  Mon, 11 Feb 2013 21:12:02 +0000

cbmc (4.3-2) unstable; urgency=low

  * Cherry-pick upstream r2111 to fix build failure on ia64 and s390x

 -- Michael Tautschnig <mt@debian.org>  Fri, 08 Feb 2013 15:46:35 +0000

cbmc (4.3-1) unstable; urgency=low

  * New upstream release (all code patches merged, only build system
    adaptions)

 -- Michael Tautschnig <mt@debian.org>  Fri, 08 Feb 2013 11:12:41 +0000

cbmc (4.2-6) unstable; urgency=low

  * s390x hack, will be fixed properly in next upstream release

 -- Michael Tautschnig <mt@debian.org>  Thu, 20 Sep 2012 16:14:23 +0100

cbmc (4.2-5) unstable; urgency=low

  * Fix preprocessing on architectures with unsigned char
  * Proper word size define for mips
  * Added regression test to check for missing builtins

 -- Michael Tautschnig <mt@debian.org>  Thu, 20 Sep 2012 10:27:43 +0100

cbmc (4.2-4) unstable; urgency=low

  * Fix missing includes on freebsd kernels, once more
  * Fix test suite for non-x86 architecture specifics

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 17:47:42 +0100

cbmc (4.2-3) unstable; urgency=low

  * Fix missing includes on freebsd kernels
  * Fixed test output helper

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 16:57:50 +0100

cbmc (4.2-2) unstable; urgency=low

  * Updated Standards version to 3.9.4 (no changes required)
  * Include upstream man page
  * Updated debian/copyright to final syntax
  * Fix missing includes on hurd and freebsd kernels
  * Print test output of failed tests

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 12:02:56 +0100

cbmc (4.2-1) unstable; urgency=low

  * New upstream release (includes GCC 4.7 fixes of previous NMUs)
  * Use DEB_CXXFLAGS_MAINT_APPEND to comply with dpkg-buildflags
  * Run test suite after build

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 10:29:19 +0100

cbmc (4.1-1.2) unstable; urgency=low

  * Non-maintainer upload.
  * Update fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
    Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch.
    (Closes: #673579)

 -- Salvatore Bonaccorso <carnil@debian.org>  Sun, 20 May 2012 07:55:28 +0200

cbmc (4.1-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * Add fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
    where needed.
    Thanks to Cyril Brulebois <kibi@debian.org> for the patch. (Closes: #667131)

 -- Salvatore Bonaccorso <carnil@debian.org>  Sun, 13 May 2012 14:25:21 +0200

cbmc (4.1-1) unstable; urgency=low

  * New upstream release (all code patches merged, only build system adaptions
    remain)
  * dh-compat bumped to 9

 -- Michael Tautschnig <mt@debian.org>  Wed, 18 Jan 2012 18:37:41 +0000

cbmc (4.0-4) unstable; urgency=low

  * Rename patches and update description to make dpkg-source happy
    (closes: #643074)

 -- Michael Tautschnig <mt@debian.org>  Sat, 22 Oct 2011 00:51:01 +0100

cbmc (4.0-3) unstable; urgency=low

  * Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
    failures

 -- Michael Tautschnig <mt@debian.org>  Sun, 10 Jul 2011 17:22:04 +0200

cbmc (4.0-2) unstable; urgency=low

  * Added missing freebsd kernel define
  * Enable parallel builds

 -- Michael Tautschnig <mt@debian.org>  Wed, 15 Jun 2011 10:40:38 +0200

cbmc (4.0-1) unstable; urgency=low

  * New upstream release (all patches merged)
  * Requires suitable minisat version
  * Working watch file

 -- Michael Tautschnig <mt@debian.org>  Tue, 14 Jun 2011 19:12:10 +0200

cbmc (3.9+r41-3) unstable; urgency=low

  * Fix another FTBFS for ambiguous overload, missing freebsd kernel define

 -- Michael Tautschnig <mt@debian.org>  Sat, 14 May 2011 16:11:44 +0200

cbmc (3.9+r41-2) unstable; urgency=low

  * Corrected build-depends to fix FTBFS
  * Added gcc as depends

 -- Michael Tautschnig <mt@debian.org>  Sat, 14 May 2011 14:57:05 +0200

cbmc (3.9+r41-1) unstable; urgency=low

  * Initial upload (closes: #626635)
  * Version 3.9 + all changes of SVN r41

 -- Michael Tautschnig <mt@debian.org>  Fri, 13 May 2011 23:54:50 +0200
