Package: cbmc
Priority: extra
Section: universe/science
Installed-Size: 13425
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Version: 5.3-1
Depends: gcc, libc6 (>= 2.11), libgcc1 (>= 1:4.2), libstdc++6 (>= 5.2), minisat
Filename: pool/universe/c/cbmc/cbmc_5.3-1_i386.deb
Size: 2975044
MD5sum: dab7f4d5a0db9966c8e7990e8928e4d3
SHA1: aa1390bf2617dbe6b3703f281744f0292f4cd3ed
SHA256: d721ad86676f104a68d0815a73026e212760b9348b6e8f43d5f122f1d1529c33
Description: bounded model checker for C and C++ programs
Homepage: http://www.cprover.org/cbmc/
Description-md5: 2c892fdd5142036595dc17775271afad
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu