Package: cbmc
Architecture: amd64
Version: 6.4.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: 94406
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.4.1-2_amd64.deb
Size: 25950952
MD5sum: c3d3b54cfd1bdc747f7d8d6c508ea758
SHA1: 36598834ed2014d247624bfb56873e0af72d5f07
SHA256: 7e8bd2266ee42f2666984894e2c34b35f6ce6e44066acfe677af4ac7206d8dcf
SHA512: 79c248ba01b83629a4e985ed1eca7ef252072269efc3caf760f20390ed163148ea4c464e889140a62daba3f059e29b2ff1f74cad8003012200ca31b49fc72063
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad