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
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