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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 6.4.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.4.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.4.1.orig-java-models-library.tar.gz
 96ca348b42781be193766d3137ada754bc296ff4 9127951 cbmc_6.4.1.orig.tar.gz
 db873d5e70e39f0ac00c4ecdb8dbd6ecfe03716e 18076 cbmc_6.4.1-1.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.4.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.4.1.orig-java-models-library.tar.gz
 09507765190bd14d07452b68003087160c80325b251a6f13d50845bb5f44ae7e 9127951 cbmc_6.4.1.orig.tar.gz
 8e60cd8aad012198edb4e64207644e13e079e1637cc60744b5681ba8f64a8674 18076 cbmc_6.4.1-1.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_6.4.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_6.4.1.orig-java-models-library.tar.gz
 90a01f7ceabdc36081bf002eed073973 9127951 cbmc_6.4.1.orig.tar.gz
 13c59c25aedc403310a4126047eae716 18076 cbmc_6.4.1-1.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmeQCMsOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHxWhAAg1uZed+u80DSZIfSfVx0a6dpb0GnwvYCrQOv
nFTEnlH+jp9u04bEWO+87qHedXznRW02V7Uc9S8qKOIGpNluhR/cAhjaZshJBju+
M+JaZkPw3qm1aDw20WhsEc8tU5r7UpAt7oT5PPXyy3eHwXwuB/okjzMRmHPf+pQ8
Y0VGB2t3oPMDi1WqisfW0/2jpBSYs/rdDFV6dTCj2gpJaRMwiSlZ3Q0O1/HOEb4s
FC/+CFio5hQVXGiNRMyNsI8d6lVKqkoBGUy5/Tz3pn9XStwi6wiLdjPB9SQjlAB7
GFFAeEBP6mQJDkMVziHK7Kiv7cpJ06sWIrl0iqBo3UpnuMWeXZ5oT71ciiSDGiFx
FQHl81+iH7uh/rXkMWrVORWYMX8LH3fgIoy5dGT9mUOzRPr7ZZ0aEXOZjxPdc4PF
H6BSvuKJyA5MEqbhgRJDIq2AQ4M5VWJG2Vjrma6q8Cw28lWH8ssCmfWPsVS8Ox7Y
C84Z+OV42TV3Z8G6JktYMieMerbiF0pqhNtwnhYY7QcJgDf+6ZaCMWGugI4q7rc2
Q0Ibe2gML160K3EpzaW+c8T839ddWnhcjGkKrF6VXeovZEwt0G9qY+u+JkfKbmi7
zlXeYThRzb9EvGd2BlsgN5RrKSj3S7of3tJXn8fO1uTeL0m4BTDkjo/x1dmwl2Cx
6aN3MEE=
=dZ4Z
-----END PGP SIGNATURE-----