Package: cbmc Version: 5.6-1 Installed-Size: 18992 Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 Depends: gcc, libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libzip4 (>= 0.10), minisat Description: bounded model checker for C and C++ programs Homepage: http://www.cprover.org/cbmc/ Description-md5: 2c892fdd5142036595dc17775271afad Tag: role::program Section: science Priority: extra Filename: pool/main/c/cbmc/cbmc_5.6-1_amd64.deb Size: 4000220 MD5sum: 86d22b846fc120de2a931ea0ef3fa671 SHA256: 2a7700368f54c1318645a355604fdf47f1554ddce4aec3ecb2d6a66a48295feb