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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.9-6
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.1.5
Build-Depends: debhelper (>= 10), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, openjdk-8-jdk-headless
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 628f41d9ccdf551161e0f47a374f967da25992f1 173159 cbmc_5.9.orig-java-models-library.tar.gz
 49bb7f719f778ec3393933fc7ea28f3544298e6e 6262353 cbmc_5.9.orig.tar.gz
 a7d789d08b0cf72da8e00535da29a988c17dc76f 17220 cbmc_5.9-6.debian.tar.xz
Checksums-Sha256:
 05262cf301bcc91e0236b6ca92cab895c78d0e3156aa9152e7cabab7f4cba466 173159 cbmc_5.9.orig-java-models-library.tar.gz
 e57b07036475267bc158694003fb546d128a54b556553e5e129e967972d81fd1 6262353 cbmc_5.9.orig.tar.gz
 4fd4ab8b5ae31c94467e1fc4d5ef7eefd5c0afb39225cfabf54565d3c80ff9ce 17220 cbmc_5.9-6.debian.tar.xz
Files:
 dec7966920798332e57029ce6a5cee6c 173159 cbmc_5.9.orig-java-models-library.tar.gz
 f233cdc9764fffadad5997f22df9a669 6262353 cbmc_5.9.orig.tar.gz
 44797f617eeb11e2d7d6107761209bf4 17220 cbmc_5.9-6.debian.tar.xz

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

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls+pgAOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFsZQ/9F01Qt/KVmMI3qOtwhE/CIwYziJqv7rp252hE
R7fgzNibCpU8ChL+1bRZjIksax063qO0ZplLIuT3URI2NNFKLDuPRmxmqXBF1Csf
me1nVtofci7R2OtfH9V6sY2cW7/ko4NWzRRiN5kHrvVFQiXtR3F18a7d/e1susWY
4pu/n6I4ccjy6ykNhHeDDIguomd4kSNpZFiM4/O3JHiPTsaG5L4v0scrZ1faOSSu
FcmkB3t+kjp2pJztZlQ5njclOoyy1xPvxCm7Q9tEXvuv8708Pm2M9u05EmCTeyJf
QYl4+hyuM7X6ZrHSei7SQLJ7vvOEpXl6JxNxL1Fy76kW36SRlnNN6Pqr5hTyfhFL
0YEfu2G0OBZIpUCr9Dqk+I7IPJV+PRoaEAka/ipoF322dKUNW/tLBVZLCwYrIWtT
X3Qvl2ZotCzgYxRRwwC6EMixDEn1kMTSc42jn39dLouK4V5zQDEBuKYA5XoIkwQj
5+1Zj8RSvUr8N+7sVH9bgaWh0W2gu+Rt/n6mPmwjf0FiqTS93SiLdUTZz1IyN1mZ
fbQ2cf58rwLohVtkG6HX6z/GZh9YhiRCvNGNBTAHLCri90OnUCeZ+uthbtIqwm5o
S8KTWOZk4+exfDN1i7iTcs3Sb+wFh40ZkahNCQIAOYREht95QdMl0W3YOLsTsJsV
jXinVno=
=HMo+
-----END PGP SIGNATURE-----