Package: jbmc
Architecture: amd64
Version: 6.6.0-4
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: 29458
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.6.0-4_amd64.deb
Size: 8928954
MD5sum: ce8f451bd3ac772d43fd12ae9189d359
SHA1: ee06cc24b3b48d11da3673c4e571343589904180
SHA256: bfeb239d1c1eb840adae9b7bf5904b9d3394f6c2502ae7076c7cd95d01f27b21
SHA512: 77914037003767435f6253babf259b6a3bf9ef720978ea5094ef41133be2ace6f69f7c8efa04a9764e470b4959a517206d2334425adcd356c3e98d08f167afb0
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for Java programs
Description-md5: 70bc56bc794696ba3c239e8afdf2b1ac