Publishing details

• Removed from disk on 2020-12-29.
• Removal requested on 2020-12-29.
• Published on 2019-04-18
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

cbmc (5.10-5) unstable; urgency=low

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

 -- Michael Tautschnig <email address hidden>  Wed, 17 Oct 2018 19:55:17 +0100

Builds

Package files

• cbmc-dbgsym_5.10-5_amd64.ddeb (411.2 MiB)
• cbmc-dbgsym_5.10-5_arm64.ddeb (398.9 MiB)
• cbmc-dbgsym_5.10-5_armhf.ddeb (390.0 MiB)
• cbmc-dbgsym_5.10-5_i386.ddeb (400.7 MiB)
• cbmc-dbgsym_5.10-5_ppc64el.ddeb (402.4 MiB)
• cbmc-dbgsym_5.10-5_s390x.ddeb (411.1 MiB)
• cbmc_5.10-5.debian.tar.xz (12.3 KiB)
• cbmc_5.10-5.dsc (2.1 KiB)
• cbmc_5.10-5_amd64.deb (9.7 MiB)
• cbmc_5.10-5_arm64.deb (8.4 MiB)
• cbmc_5.10-5_armhf.deb (7.3 MiB)
• cbmc_5.10-5_i386.deb (10.5 MiB)
• cbmc_5.10-5_ppc64el.deb (9.2 MiB)
• cbmc_5.10-5_s390x.deb (8.1 MiB)
• cbmc_5.10.orig-java-models-library.tar.gz (169.3 KiB)
• cbmc_5.10.orig.tar.gz (6.1 MiB)