Package: cbmc
Priority: extra
Section: universe/science
Installed-Size: 13831
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Version: 4.5-2ubuntu2
Depends: gcc, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), minisat
Filename: pool/universe/c/cbmc/cbmc_4.5-2ubuntu2_i386.deb
Size: 5667086
MD5sum: 1bfe01011b803d25164b8e83b3afec5a
SHA1: cb08cc72fe6fd65b2d8539467ccf49867dda21d6
SHA256: abfa1477ee31a5a8ff1ea6df32bc70a2022e21b53b0773232cf0c08e5dc6e464
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