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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 6.6.0-4ubuntu2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.7.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], openjdk-8-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64 !riscv64] | openjdk-11-jdk-headless [riscv64], 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], libmaven-resources-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.6.0.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.6.0.orig-java-models-library.tar.gz
 f3e38c93d56afb44e4c078b30e0e343c96267258 9146661 cbmc_6.6.0.orig.tar.gz
 2a286776e659ec3271ceaf63c0632b7a894edcff 16628 cbmc_6.6.0-4ubuntu2.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.6.0.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.6.0.orig-java-models-library.tar.gz
 86eb29e9cb1dd74fb82eec9ab32442a35449fd6db84a4824bfd834161e8d3a48 9146661 cbmc_6.6.0.orig.tar.gz
 d55dad17ebd6646fc0c4e2d31d031d051deb236211ea99c3d97798b899ed82b5 16628 cbmc_6.6.0-4ubuntu2.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_6.6.0.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_6.6.0.orig-java-models-library.tar.gz
 5f5dabbc1f59abe75f322566d86a9f10 9146661 cbmc_6.6.0.orig.tar.gz
 87529a79c179d4d880f1eb33e160a05d 16628 cbmc_6.6.0-4ubuntu2.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQIzBAEBCgAdFiEEi0Ab7+QbQ0yQSEMs9jtmipabB8AFAmmnN44ACgkQ9jtmipab
B8D2ZA/+OfnuoBZWWo43QK6AttiYVX6Kx4PyRYPkPRUYk0YkSy4+qjaEWK2+fRF4
icZZJ8nJQvLlkaqYZu5lhbwTNQe5JEMdDgN3f/NuimqpP7ohY/w0vU3bHCILBSBh
epLAVPScmHdggzNbvQZN4pENR61JtEG8nth1aGh5Q+21VFa/bzPV4JB3n4KAvjVU
F5hXMilOM6DPK3pehcygodB3g98CT+FOvpvZBdNBVEzBRO7APqFgLNzw2EF2mJUD
0b0/KAKa2CdOU/JcJbcdaneVMjM5EWEs75JeVKL0SuhuDkPolcYoiO0XLM5BEmGM
76ZnPyjrrXMWst6CXjDaC14A/4oZ4O5/BQQl++KAmCPLo0kCWB8tKvpne1zbmJh9
htSCTJvM+NlVSvTGi/k4IVlFBP8Q+fI9CGsmfUTjAnOoD6OMIiMb2TzCcps7hUjd
J/YRVFq1rRFZVLlhaGTjrfd/HHRktykpaPk/Sqz75UBiVdsO3npW18Yeeck2wQPt
CPB+4cos35OUdPPrgWo7GwT8fd9oHraku2ymBbM836spMbJGB4YFN9ISVWmdQjF8
mx0KANa4cY79czlAKL3WhscsXdRUuqVW0DyX+x2VaDkIn2a7qIjJdFBLti4IpYsK
EaAu0E5z0KCnFEl47LyLv9Luz2bXBsfNS5/VahV9/G3hOM1EH9w=
=7c2V
-----END PGP SIGNATURE-----