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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 5.84.0-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: gcc, libc6-dev
Build-Depends: debhelper-compat (= 13), bison, flex, minisat (>= 1:2.2.1-2), zlib1g-dev, gdb [amd64], libxml2-utils, python-is-python3, z3, default-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386], libmaven-dependency-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386], libmaven-install-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386], maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386]
Package-List:
 cbmc deb science optional arch=any
 jbmc deb science optional arch=alpha,amd64,arm64,armel,armhf,i386,ia64,m68k,mips64el,mipsel,powerpc,ppc64,ppc64el,riscv64,s390x,sh4,sparc64,x32
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
 1e7fbc3c4dab137a257ca950dca64f3894c3db8e 52380 cbmc_5.84.0-3.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
 43c9eff7a7d162f90fb47077221c8652d42c9207dc1d64175e9198a9841c3611 52380 cbmc_5.84.0-3.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
 4936043b7e7ac8785174038d3ba99182 52380 cbmc_5.84.0-3.debian.tar.xz

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

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSGYU8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFWpA//WoalGttAqV+6ZD0j1Rtib/ZHqO9Xqc91b6Vp
yaew8W9eiK+krIZ/9rFFP+vK5ZiTVFx0GlI2AKEeSwgA9IVKgp4hLfOXjnQL1JvU
D69qDZ2M8xTTvk8WfwbHKkTfJXDKR8SxTMSw7db8bBohKpi6BKcCjZvo1gQeIVXE
kaOccIjAzPuPTtUjVD/QZGCwpe4+do+y9At7vMnUouBCJuF0MRybS+eYxgPpeYxb
6uJHTOD2Uzrog0HHmfOL7XjPIkdqjQy9bCvgmV3nLJprwo8asW7y6Q/eGvS2Mb62
zNMQOTT7lRwSgSsKAFRxEtKUYKhSTOI/3sEf/kb4kDW0wMWdXJ3pj97Qkg+P2bQ8
BedNYyhRfjuQpqUGPCcu/0AkIlt+w9mPUPOx6xZn7Xyn3GGVMY6nRbAjhrrgzQOR
86935PpEUtmy0dSg6Ttp6bGzFwpSbRgQAwbheUYu/6nHU9e59WAO4tJlVch7nsoi
XE56M9YPvP3VWj3yEvu+NlRJopjBsfRp+LkkxO/Gux4WISRqF4k8GLhVp3XbcbVU
1XAHRrGKSZTbu8k3CphwRKQd6UH2LrL2+gm3OBQD1ga7pS+wUH7pkg/iFsy8K0aE
4UawiyIlgrOirpLrICitvMPE7soOPJI+RnG9M5zlYrgNEPz3ouosVcm7cXmyBd7H
u7YSxio=
=qlNw
-----END PGP SIGNATURE-----