-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.84.0-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.6.2
Build-Depends: debhelper-compat (= 13), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, gdb, libmaven-compiler-plugin-java, libmaven-dependency-plugin-java, libmaven-install-plugin-java, python-is-python3, z3, libxml2-utils
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 7ff969545febcbaaf14f8ca1eb61711ba18e1c4f 8975338 cbmc_5.84.0.orig.tar.gz
 a0e2edb8e7d3e16e1980dc03f049de57a885155d 51972 cbmc_5.84.0-1.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 8975338 cbmc_5.84.0.orig.tar.gz
 1002fc5bc0cc550f71cbfa3c70466bf5f868bf3f019b9f60b80326f838e85451 51972 cbmc_5.84.0-1.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 0298953d57eadbec1ffdaf9d04f07cde 8975338 cbmc_5.84.0.orig.tar.gz
 1bc47d81da55d1f869674dc819e95e0a 51972 cbmc_5.84.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR6PIIOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGmpg/9Flrol0TXkYQT+TjsgOkWpda9nfQXDrDIx617
0ypIrBuFGjrOgSss+MdpfJzIk+0ASmk3zx3tl6YCf2Z5wLQA/fDxwJXWpd3Ucqaf
nD17CXKhZ44VnWLEf6ltBn6HKsyt9AWhVBz1Ek5lBdOHGmp348GMRuJr3mE66wV1
G2kW41SjLhqa0cKUDnq/3H4m4Ui/EI3LHtJtW9k5kxgC24uCd97wUfE/m5cB/xlv
gLXqYYXVOMcXZ7RIf3TxEMYoCdxVMf9mfEKvxUT2nTTO3Mddc8wRrc/zm7izHQ82
XaxFygbHeR2XJFxrG0e4OxwxcnMYalOL26D+BAaw10CyTlSbLBArXSiQGrHmRgRl
7mOH5UywndU23UMrxW6wHSdB8Z+q+kOy2+ntrE2dNZUO/trnKCTW8cDQWXmkymXf
cAmdRuLbx0eukhzUfzBVgqdWHN/23RLCdhTnDKcVH+3rIIkbd1hAnMaRm0wrzEqa
rWpkOFd6Q0g8oN/rK9wv0oPv4cHrCImokVi187tHCfHXHb0o/6LwULgGZv+ksMnj
AhPHEoUfRXvSd68PNqLUGqcSFEwM0oWp81t5lEkob3CDSc4XVtHK6Nd9tvto18FD
exqJV2Mag7Bqvg4nGqfGRC5OKti59PatzlAPq62G6O7+59BZmFEJZu6ZRoS4cyFx
N66ifG4=
=l802
-----END PGP SIGNATURE-----