Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-04-26
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

Builds

Package files

• cbmc-dbgsym_5.12-5_amd64.ddeb (501.1 MiB)
• cbmc-dbgsym_5.12-5_arm64.ddeb (480.6 MiB)
• cbmc-dbgsym_5.12-5_armhf.ddeb (455.1 MiB)
• cbmc-dbgsym_5.12-5_ppc64el.ddeb (506.5 MiB)
• cbmc-dbgsym_5.12-5_riscv64.ddeb (290.0 MiB)
• cbmc-dbgsym_5.12-5_s390x.ddeb (475.4 MiB)
• cbmc_5.12-5.debian.tar.xz (15.4 KiB)
• cbmc_5.12-5.dsc (2.2 KiB)
• cbmc_5.12-5_amd64.deb (17.2 MiB)
• cbmc_5.12-5_arm64.deb (12.8 MiB)
• cbmc_5.12-5_armhf.deb (10.7 MiB)
• cbmc_5.12-5_ppc64el.deb (16.8 MiB)
• cbmc_5.12-5_riscv64.deb (15.0 MiB)
• cbmc_5.12-5_s390x.deb (14.6 MiB)
• cbmc_5.12.orig-java-models-library.tar.gz (296.7 KiB)
• cbmc_5.12.orig.tar.gz (6.9 MiB)