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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc, jbmc
Architecture: any
Version: 6.0.1-2
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.0.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_6.0.1.orig-java-models-library.tar.gz
 960c71ad3ae921f48cca4d67f950619eee77509b 9109589 cbmc_6.0.1.orig.tar.gz
 d71859fd0ea4444e6a1e72330b2a58bd3a6e7e51 18072 cbmc_6.0.1-2.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_6.0.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_6.0.1.orig-java-models-library.tar.gz
 8f954bbc13e8b56ef1990e81feb283c77775f86c45a81487416dda1c66ba6e25 9109589 cbmc_6.0.1.orig.tar.gz
 c1edb362266c24436d2a4376e5fb9cc4f626d493c6913a6b50b926624131c703 18072 cbmc_6.0.1-2.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_6.0.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_6.0.1.orig-java-models-library.tar.gz
 5620d8a548499d90e69d1bfa5e3af51e 9109589 cbmc_6.0.1.orig.tar.gz
 138dbb0754a2fa9e1544f2b91e4973cf 18072 cbmc_6.0.1-2.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmaIPvMOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEwkg/7BWoMTIO3YLQe2G6wJ8TiihHg2ERDbYJ8DHJj
hTEsCsKHMeylISlbubDKH1vmUfyeVd4gJ5U6zWClKuXAn2AM/d5um6uwpgX5j8oW
YFlKXG0a2pKBTBPj3ffR8t9uyAv7yAgfilifhav9wufWar/gZ4PE8YEtSsfiq8i8
J3KIN2WVJ1a4S6HlF5nCzW+Ts+rnU5l8fvEt7r8fGX9RSnSoqasrJDrhROxwGqUi
8fTLFYwf6Jl721ysxHtTM/JHOmQyJkQ9kig9pW/SKG7poVAj550ZNsIpJqnW7BcQ
bQBabkF41WOcHorooesZ7UJLONCmb3MHGVn8Xo/IaPLRZdYehxL3dR3dzJxgzGir
GYJbPqS7CVDBfAEwvtw1dhAef11wKhGdCvm7RQuNfNGYvYbUmjK9UvQup6npP5YY
AUf00B+A/jYAh0+XI+b3tfDVYf8QtNLpyVdddSyMJSBA0Lkl3NfgGlsB5OBe73ut
ul4+BP5uVq2W7bcF7wDnhqUeAeNBL6O+uoJ6OjXWw9WCWtlnclAsg6hmsp8FpBKj
2QFJm/EE6hNvkuGdS1QE80FuiegwK9DsZ21GfsA4fy6OeN1jePfwswuTC4LkJhT1
+gycsFMoXVv2W8Og51V/3B6lW9FtDAfJ+/+0BbBxvWEGxTSTVv4A9om7+8NfMWAR
V1B7/7o=
=60EF
-----END PGP SIGNATURE-----