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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 5.89.0-2
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, 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.89.0.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.89.0.orig-java-models-library.tar.gz
 21ca9735b75fc73082c5ac0b51faea16f5771e9e 9012762 cbmc_5.89.0.orig.tar.gz
 fab6a39a60556e82ea1e7ea86cb8defeac5eb112 58868 cbmc_5.89.0-2.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.89.0.orig-java-models-library.tar.gz
 8ca046a8322da5620f5d24787aa8f0e71b300df487b1ccb24b1025e01f51666f 9012762 cbmc_5.89.0.orig.tar.gz
 6a1c9da675b5f69d241632281393569f17550f1702aa992f32122ded339d66e0 58868 cbmc_5.89.0-2.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_5.89.0.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_5.89.0.orig-java-models-library.tar.gz
 f76b72c2b74d1601697d263d4feee901 9012762 cbmc_5.89.0.orig.tar.gz
 000c19d1646065014fa85abf10341636 58868 cbmc_5.89.0-2.debian.tar.xz

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

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmTThq8OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTF8qxAAq2RmfbB5LFWS2V9EL4QWkR0ON3mkH3l7bJvo
S1H8PIgmvTY9a/UCCJse8E54Ay04HO54N4nXpzoFqHbNHsL83JzTwRM9n8ImPaFD
QqiT9UYjnX4FyB9EPnmgPurRPnf4OFNGu8KfPaRnbZlN9Zc+kCS8afi4BqA7D4M3
PnU0pnpUbXpg0w4OnskiVQ1y4BAbSdO6IFI2rHS0UUDaLG+v1voqrwFLp2MM7yna
cKuX7jlq4s5oMv4gb1b1t9shzihsCGQ4JZMePTx7JxEGYrrAmdrMLcNiIq2A5YBF
scLdwr33YRFYsgDOIU9hGDlYpfwDutlnBODB4jJ9QjwrwOnNIS2/LaUOdL+MNdC/
vNJeTqhh3jhZLivJbrEsybby9QjRJYgvdlqbo0QaquHPv0dnfFcxtrdqfoWhAk7/
cQTmGwvjksMogyjEpyOU4T5iBnKs3/3d2IkbW6ckRMLA1lDcOd+K2ePpNoWw663C
X9Q10hkDBU1u1F7SzXch4hDUUcREcnRBB2bT8lmzsHC3c8AHubtpNTQtRdUt76fY
SW6LFxHBO8efdJK78Zk3VRYMN99N0ptP7hqOdxeHtLdewADVbrbk1Yq8dZLvAoL2
7v/to2l1istOYZ8RuzlYlPdeXdyct2DMWeCSD/NoNXAWWeaAfUK7uSQeHaILl7R8
jvb8bnQ=
=b+Ol
-----END PGP SIGNATURE-----