Package: cbmc
Architecture: amd64
Version: 5.95.1-4ubuntu1
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: 80345
Depends: gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), minisat (>= 1:2.2.1)
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_5.95.1-4ubuntu1_amd64.deb
Size: 21340880
MD5sum: ce326de8773e9d7dd619de45e35f4374
SHA1: d631c43db2ed34b30c66cae7d5cfb3225222d49c
SHA256: 3fb00df334463066b8e5a20435197c20c31de6476feb04c47f63170039006be1
SHA512: d747b35f4a8ffe2440db7807688e91bbc554cdfcac449f7196fd482e9d0fdacd89d31784a577b399af683da131770a637b07321ea1d44f01044ad89bf36d4843
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for C and C++ programs
Description-md5: 2c892fdd5142036595dc17775271afad