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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.84.0-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: gcc, libc6-dev
Build-Depends: debhelper-compat (= 13), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, gdb, libmaven-compiler-plugin-java, libmaven-dependency-plugin-java, libmaven-install-plugin-java, python-is-python3, z3, libxml2-utils
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 7ff969545febcbaaf14f8ca1eb61711ba18e1c4f 8975338 cbmc_5.84.0.orig.tar.gz
 21c4544fb7b9fc398729fb30b2c3a5e7fc525161 51716 cbmc_5.84.0-2.debian.tar.xz
Checksums-Sha256:
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 8975338 cbmc_5.84.0.orig.tar.gz
 ddeba5e95fe7997d57880f8bc7bde1133378ebabd5f07c1482edd64984772ab5 51716 cbmc_5.84.0-2.debian.tar.xz
Files:
 245cc4a092fb84d4c8a1333c793f1adc 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
 0298953d57eadbec1ffdaf9d04f07cde 8975338 cbmc_5.84.0.orig.tar.gz
 1376b8bbc25b82087836f7abee254959 51716 cbmc_5.84.0-2.debian.tar.xz

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

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR8InEOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHj9BAAkCj1Lri1ZRJogAJIxvWfxZeK6OLHkZh9/VJO
8IiIiVvr3fUb0nkN10Nd/OdHVpLEymEpZ0deMgSx+okHrpL1Cx4/r91gCLzdQurk
WZD1oSV2bswaYehuS0AaiDERJPO6Vnn02iC8tzVNldJ2IAUImG5m4ogt6tHBAmym
nmn1t//OOX8Eo6b0bcx2GKmnwtkFjbmGSseV3Esmb+W1kkGmIM/YIe023cw/7e7d
W+22K4jEGUa7ToCOO9f97xkZnyHcJQ2hQqi+8KM7IY3u2pko2fB7JRTo73caCvmR
48Rc47JQmTFYlDGZkbDH4kDe4c/Hc+7DhsT+zSJnyGeN481Tha4N93IG/r5AfgBC
7FccDm9pO7rQcDaraGU8Mc0rlxD2glrMqzjUkuev9cjC6HS8xCTxH7xci2cfe2lJ
02pjwmCxgdQrP8HK6yobRXZmdUKZXkyuoj8/TrosCdMVWHLt/gs0aYv9e+j/Gl4G
dUJcHFjjaUTIBQkwTduUFb6Hc6R2msAuOQZVTcfvwc60qC/ddw5yo+PsF/LxVtlZ
1YahDt+EndT7o+H+bzKxbUsbqdTuLzw/XBcd29XkdIFShiySKsP38bvnQ3tDKow9
V3WseKOuRJQ6vOI3t4UFiLCagHXMR5zTZXYu1DLgVa1axofDUdJqvWkuezb0KEyz
7UfXTnI=
=ycuo
-----END PGP SIGNATURE-----