-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 5.95.1-5
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: 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 [!sh4], cvc5 [!armel !armhf !i386 !mips64el !hppa !hurd-amd64 !hurd-i386 !ia64 !loong64 !powerpc !sh4 !x32], default-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64], libmaven-dependency-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64], libmaven-install-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64], maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64]
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.95.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.95.1.orig-java-models-library.tar.gz
 5e54f45458dfdbc5e6d023bf4fc08175a9949ce1 9073428 cbmc_5.95.1.orig.tar.gz
 0c39a83a339b5f2fa27e39f6cc43a5363b22b1a2 16944 cbmc_5.95.1-5.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.95.1.orig-java-models-library.tar.gz
 fdc1e862752430f8d069eb2f9c33dcd05078cf955bbc900e2cc840bcb01b3783 9073428 cbmc_5.95.1.orig.tar.gz
 eb865cf8bbdf528a73a6cd6f6bd4885e185405a56885e2d71158273fb233a74c 16944 cbmc_5.95.1-5.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_5.95.1.orig-java-models-library.tar.gz
 05f0e4a4a3e7e2830c3be3b9398018de 9073428 cbmc_5.95.1.orig.tar.gz
 e4b045e334cc786d094c2658a4917ac4 16944 cbmc_5.95.1-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmYvpJ8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFf6w/9GMIT/YBEhdVOgyzibljRXZzfnHkKyoqUUjrS
uG8ZQpjWXwbuQDM4qlHWrQGfv+SNENrvEw1JyErvZ3rqIJrtt6KQcCHaPk7G4D2D
wUk31wdkbxeyv444b/NymY2WHXn9LUlBlww+Mw2AeH09NhkXy+j6rnSMH/0r05qB
EVH+Tvl/M4fYaGv6ewxpzS6y6I5WQPOQSZr+hvh4S6Ov5lbpa3V2i41iHtCXxLPT
EGeYVJHUI63Cj57k/G2AmlfZL2VOPQmIFM2AQcz9WB5D8pI69079xUCkjEfRpKkc
OYnY0ywou7xC234JqNhDbfndoX/HqUVyOA4lVzQfLHDyXxqxieE18iMzS+QAGp36
4h4Er3C3TTehd29C4KQkf8VenU+gag/VrL8v9dnlAAVcgb25XPehnIcqsBbHXP0m
AakJ9TiPqavi8XQaNhXrPrtCtErWqmiJWAXzoGnp/+Ezt35PLwhR7/uEGBRKZeXM
A3MvXVtOsnoq3Y+kTxDO5M64eMe0CvTHeSSnSGubyAf/NDHJf8x8zbomi5XJg4jC
/W4zr7XejwkOUBk8DJ4t+t5jeMOGNt8vSEK1EmOs3JZRwXSuXYwJB5Eix4Ukzwlv
H5TH0S8C9cVuF73SFzqwFXh32xTr4sAyMHyD1+ILiK8D5HM9nyyD0yI+scMMm7h4
uqAuNOc=
=EZ7d
-----END PGP SIGNATURE-----