cbmc source package in Eoan

cbmc: bounded model checker for C and C++ programs
cbmc-dbgsym: debug symbols for cbmc

Versions published


The package versions that were published when the distribution release was made.

cbmc information

Current version:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?

Releases in Ubuntu

Binary packages

Download files from current release (5.10-5)

File Size SHA-256 Checksum
cbmc_5.10-5.dsc 2.1 KiB 225bb25ee1350f776785b51e0308e23347e04c8fd0b9bc552d7fb0e8a8b6c6c3
cbmc_5.10.orig-java-models-library.tar.gz 169.3 KiB e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487
cbmc_5.10.orig.tar.gz 6.1 MiB 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352
cbmc_5.10-5.debian.tar.xz 12.3 KiB f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies