Publishing details

• Created on 2020-04-14 by Ubuntu Archive Auto-Sync
• Published on 2020-04-14

Changelog

cbmc (5.10-5ubuntu1) focal; urgency=medium

  [ Adrian Bunk ]
  * Build fixes:
    - Fix the build with libmaven-compiler-plugin-java 3.8.1.
    - Backport upstream fix for building with new bison.
    (Closes: #952256)

 -- Graham Inggs <email address hidden>  Tue, 14 Apr 2020 07:35:50 +0000

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• cbmc bounded model checker for C and C++ programs

• cbmc-dbgsym debug symbols for cbmc

Package files

• cbmc-dbgsym_5.10-5ubuntu1_amd64.ddeb (427.5 MiB)
• cbmc-dbgsym_5.10-5ubuntu1_arm64.ddeb (415.2 MiB)
• cbmc-dbgsym_5.10-5ubuntu1_armhf.ddeb (405.6 MiB)
• cbmc-dbgsym_5.10-5ubuntu1_ppc64el.ddeb (418.6 MiB)
• cbmc-dbgsym_5.10-5ubuntu1_s390x.ddeb (428.7 MiB)
• cbmc_5.10-5ubuntu1.debian.tar.xz (13.1 KiB)
• cbmc_5.10-5ubuntu1.dsc (2.2 KiB)
• cbmc_5.10-5ubuntu1_amd64.deb (10.0 MiB)
• cbmc_5.10-5ubuntu1_arm64.deb (8.4 MiB)
• cbmc_5.10-5ubuntu1_armhf.deb (7.7 MiB)
• cbmc_5.10-5ubuntu1_ppc64el.deb (9.4 MiB)
• cbmc_5.10-5ubuntu1_s390x.deb (8.6 MiB)
• cbmc_5.10.orig-java-models-library.tar.gz (169.3 KiB)
• cbmc_5.10.orig.tar.gz (6.1 MiB)