Package: jbmc
Architecture: amd64
Version: 6.1.1-2
Priority: optional
Section: universe/science
Source: cbmc
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: 29286
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)
Suggests: java-compiler
Filename: pool/universe/c/cbmc/jbmc_6.1.1-2_amd64.deb
Size: 8898590
MD5sum: 05c9392659f6876c3b894c572379b910
SHA1: f698974d3a4899ecbbe4225d17f31463f4940f48
SHA256: c0c25440f0b0922e859cd255897c65d149551b3d15591d23c430678c4fac65ba
SHA512: 0c989421047a99457d688a72b2037f59098b9bf973ee42d8e732117f7c09851d115757944cea16e0e422e784c4732dda5ac06609b84f77d330dda8a416850cd0
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for Java programs
Description-md5: 70bc56bc794696ba3c239e8afdf2b1ac