Publishing details

• Published on 2018-04-11

Changelog

cbmc (5.6-1ubuntu1) bionic; urgency=medium

  * Rebuild for libzip transition
  * d/p/git-ensure-initialization-of-PODs.patch: Upstream Fix for
    FTBFS due to GCC7
  * debian/control: Set priority optional instead of extra

 -- Tim Lunn <email address hidden>  Wed, 04 Apr 2018 16:59:19 +1000

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Built packages

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

• cbmc-dbgsym debug symbols for cbmc

Package files

• cbmc-dbgsym_5.6-1ubuntu1_amd64.ddeb (131.0 MiB)
• cbmc-dbgsym_5.6-1ubuntu1_arm64.ddeb (129.5 MiB)
• cbmc-dbgsym_5.6-1ubuntu1_armhf.ddeb (127.9 MiB)
• cbmc-dbgsym_5.6-1ubuntu1_i386.ddeb (128.0 MiB)
• cbmc-dbgsym_5.6-1ubuntu1_ppc64el.ddeb (130.6 MiB)
• cbmc-dbgsym_5.6-1ubuntu1_s390x.ddeb (135.7 MiB)
• cbmc_5.6-1ubuntu1.debian.tar.xz (11.0 KiB)
• cbmc_5.6-1ubuntu1.dsc (1.7 KiB)
• cbmc_5.6-1ubuntu1_amd64.deb (3.8 MiB)
• cbmc_5.6-1ubuntu1_arm64.deb (3.4 MiB)
• cbmc_5.6-1ubuntu1_armhf.deb (3.1 MiB)
• cbmc_5.6-1ubuntu1_i386.deb (4.1 MiB)
• cbmc_5.6-1ubuntu1_ppc64el.deb (3.7 MiB)
• cbmc_5.6-1ubuntu1_s390x.deb (3.3 MiB)
• cbmc_5.6.orig.tar.gz (5.2 MiB)