Package: cbmc
Architecture: i386
Version: 5.6-1
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: 18035
Depends: gcc, libc6 (>= 2.11), libgcc1 (>= 1:4.2), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat
Filename: pool/universe/c/cbmc/cbmc_5.6-1_i386.deb
Size: 3835848
MD5sum: 7abf0c40e072360bcfced969e6940c3d
SHA1: 8f486b9fe69e1e2394bb818378d3fdad5928b3f8
SHA256: d098cbffab215eecc38d69c75e41476507e3597b5855b06e30e4922cb554c8ba
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad