Package: jbmc
Architecture: amd64
Version: 5.95.1-4ubuntu1
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: 27206
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), minisat (>= 1:2.2.1)
Suggests: java-compiler
Filename: pool/universe/c/cbmc/jbmc_5.95.1-4ubuntu1_amd64.deb
Size: 8329394
MD5sum: f8b796086a55a30beab5e9e3df474051
SHA1: 077c4a3393c69051244d9510ea6ae266d69a4217
SHA256: 2a7f7dad95e975eae2701780c69a8bfd932689ab3e7973a6c43347b418e1f090
SHA512: a17abb9a02b31575100ef6287c4919da1639531ba1c297f559b0129a411ce18a275c50b22ae31240e251bfd96afb374a6288c95aea17acabbaeb8eff1066ec00
Homepage: http://www.cprover.org/cbmc/
Description: bounded model checker for Java programs
Description-md5: 70bc56bc794696ba3c239e8afdf2b1ac