Package: cbmc Architecture: amd64 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: 19082 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Filename: pool/universe/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4021230 MD5sum: 473a0b2938041275217fc4a5f74e59dd SHA1: cb9930dd879c475fce5dc17f0de15f1bc8f0aae5 SHA256: 58d346334807edb76ec5f06619960ab08e7f58743c7cfbe6c11ae0c78b822b49 Homepage: http://www.cprover.org/cbmc/ Description: bounded model checker for C and C++ programs Description-md5: 2c892fdd5142036595dc17775271afad