Package: cbmc
Architecture: amd64
Version: 5.12-5
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 67287
Depends: gcc, libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), minisat
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_5.12-5_amd64.deb
Size: 18057108
MD5sum: a8af1af7545fe60c1fe6ad0c80bffe0f
SHA1: 955444f728bae2e6fe0287c3b8b9c5f3d95c51f6
SHA256: be7e049151cacb7511ebff2003ebc5e2d0f761cf705b6773eee0837ead94155a
SHA512: ceab949d48c0dbe7fe2d23849d29795f9cf964d98fc244f03053e60c4c1cb26c6bf629adeea959a718bd9f0d22f99a7fcdab61867198f445523f9f3c3e389285
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad