Package: cbmc
Architecture: amd64
Version: 6.1.1-2
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: 85734
Depends: gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_6.1.1-2_amd64.deb
Size: 23081446
MD5sum: 96307e042ff9c653ebbd4d4e8a3afbe8
SHA1: 4bc4cb54b7031a6fbd81fb623ec05585cb1d5079
SHA256: 942aa14c48627e43915d63092295cb56d718f5ba90ee4e6c3f7faed24fcdd674
SHA512: 49c22f5487fbe4db5006ec0aeae05c038149f371af5722785559b35494102e8b3dd23da2c3df6052870813e797b9b1b0cd8e678432ffcf5b8a1a19a655ff3b32
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad