Package: jbmc
Source: cbmc
Priority: optional
Section: universe/science
Installed-Size: 29498
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 6.6.0-4ubuntu2
Suggests: java-compiler
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Filename: pool/universe/c/cbmc/jbmc_6.6.0-4ubuntu2_amd64.deb
Size: 8969610
MD5sum: 1950f7708805e463af3aa4ad6b880dd2
SHA1: fc5ff75282030b41c85b4ea1577b95bfe90e9a72
SHA256: 8428ac4703c4dd109388e5c4d1e7fa7d76acac37213c80c92fde52b0a6dee6bb
SHA512: 699ffac03c4e784c16315d1fe275793cfff71f36c54cf38b5ea8cbaa88cc4c18cec63ef2e8be28b3a7822a157f74b5582e6c568380808004a3a85bab311c2e84
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for Java programs
Description-md5: 70bc56bc794696ba3c239e8afdf2b1ac
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug