Publishing details

• Removal requested on 2020-07-10.
• Published on 2017-04-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

cbmc (5.6-1) unstable; urgency=low

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

 -- Michael Tautschnig <email address hidden>  Sun, 04 Dec 2016 09:18:48 +0000

Builds

Package files

• cbmc-dbgsym_5.6-1_amd64.ddeb (83.1 MiB)
• cbmc-dbgsym_5.6-1_arm64.ddeb (82.2 MiB)
• cbmc-dbgsym_5.6-1_armhf.ddeb (81.5 MiB)
• cbmc-dbgsym_5.6-1_i386.ddeb (80.4 MiB)
• cbmc-dbgsym_5.6-1_powerpc.ddeb (77.9 MiB)
• cbmc-dbgsym_5.6-1_ppc64el.ddeb (82.6 MiB)
• cbmc-dbgsym_5.6-1_s390x.ddeb (78.8 MiB)
• cbmc_5.6-1.debian.tar.xz (10.4 KiB)
• cbmc_5.6-1.dsc (1.7 KiB)
• cbmc_5.6-1_amd64.deb (3.8 MiB)
• cbmc_5.6-1_arm64.deb (3.3 MiB)
• cbmc_5.6-1_armhf.deb (2.8 MiB)
• cbmc_5.6-1_i386.deb (3.7 MiB)
• cbmc_5.6-1_powerpc.deb (3.0 MiB)
• cbmc_5.6-1_ppc64el.deb (3.5 MiB)
• cbmc_5.6-1_s390x.deb (3.4 MiB)
• cbmc_5.6.orig.tar.gz (5.2 MiB)