Package: cbmc
Priority: extra
Section: universe/science
Installed-Size: 86907
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 6.6.0-4ubuntu2
Suggests: gdb
Depends: gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Filename: pool/universe/c/cbmc/cbmc_6.6.0-4ubuntu2_amd64.deb
Size: 23469828
MD5sum: ac08c2e3c81766ed92838d4178433d0d
SHA1: bb5a49d1804178541d044be514bf6e1ffedd467a
SHA256: 4769ac6359dfa1d12fb9f1044edbf57f9d56f7527f5131e085df79bbacf9e890
SHA512: 78c9977a30c32435a6e0d5b4ec708e38027efb49a979bc297868f51adfdfc4ae611cd75599406085b3db81d1a030ff43cf36a5659a28da8f550e97839455aca9
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug