Package: jbmc
Architecture: amd64
Version: 6.4.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: 32442
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.4.1-2_amd64.deb
Size: 10018390
MD5sum: ab20de9625b46950cb371d03ec0397bf
SHA1: e5fc7dafc3f2d719e9a7ce337882ade6092bed94
SHA256: 08b2da430a3da4e1835c04b5ff8db6c24d5414591670c3a095d2421dd0209145
SHA512: 847df896d94005e3595974bf6219b81d7492ed3f89107443b838bfef05ad3ff1610b3616cd16a32221057aa42e78889a0b273b20e5173600dabea125bd5c058e
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for Java programs
Description-md5: 70bc56bc794696ba3c239e8afdf2b1ac