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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 6.1.1-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.7.0
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_6.1.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.1.1.orig-java-models-library.tar.gz
 cde78b4c4f59cc8721c7828fb0db33b6e11fb336 9114649 cbmc_6.1.1.orig.tar.gz
 7182386f067ba0d99dc361a05e66b1392966f87c 17788 cbmc_6.1.1-1.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.1.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.1.1.orig-java-models-library.tar.gz
 aec0f781ec4c3b1ebb7ae1a2bb4b4484ee04b33f9a7c66cb913af97dbeb87801 9114649 cbmc_6.1.1.orig.tar.gz
 17c071b9b1d4f797fdfd83b913b7eebbf3c77d834b576520deb9bcd3ec23a54b 17788 cbmc_6.1.1-1.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_6.1.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_6.1.1.orig-java-models-library.tar.gz
 000c8d5c62a91c8bdd6aaefe7a74e147 9114649 cbmc_6.1.1.orig.tar.gz
 46e2c7e364f4288904363193172648b7 17788 cbmc_6.1.1-1.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmar+CcOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGoow//YivIIWW7pUd2FlE+izhHsWF85d5tc2Mur9jG
KmcGjbnnoF6jTyRlC5ZDvZqtQmDsOuQT2MeUpqupZfK0FQZvof3umKmQ/J35bMEp
NB35k5l/TgoA2cmB/dqu4QLKMCZy1N57bsbrQfkgCIr9t7P3RpZ8RB5RNeS/xvXg
iF8aFBkkd6qK0mrdS0ReNlC355Fzu1899KEarcOGG6wTj71VFle5U7xr9R6cbvx8
b4YGKm8hzdWO8U+pk7pMCJiFeYS573TG1d5QkdAUDZPFNALEpH/FRIGWhVseertV
SXl4cVnfbnt43PksCqAgZg4iTLEJB2Z9pKI8aN7DYBwBOcc4UsFFKCG0j9OWDXLC
cTiG3gRP7//Bertxp3Ao60VzBTAMbji9cX2FVdKlUhrzZ6utE7LDVpRiKXH2R0yD
vi4w2nn7PAS3yDUS/CC5MEahoFNpixscpksiIyuo3Y6dylPerzcMu9Im4EPILTAY
9IjNAZzfn/6Mk6yPymHHM5RNXJ3RvM+I5MFKFaQlcjEfrVGk3nUrZRE12cV5uzwp
FJMfaVIFKsTIiC0Njl1l6r1KWArUh/rEH6MlL4C5u4bEmXAJ/ED327irRNDPN7wO
UXxhpFnz0hmbPvWmfjEEwfqkeTVlML5OK+HCMWwH+W5VWYOr/XYyfh8R9x4OFQW1
kSjwl+k=
=sw5w
-----END PGP SIGNATURE-----