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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.10-5
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.2.1
Build-Depends: debhelper (>= 10), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, libmaven-compiler-plugin-java
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 19d3d143a2d0a103fcf7ad20c7690de46e5e1066 173342 cbmc_5.10.orig-java-models-library.tar.gz
 b9fed11ce8218575ad3f781aca71ec8f328a0304 6345384 cbmc_5.10.orig.tar.gz
 f42ff433a50bbd23fa4ea7b9289bbacc248d452d 12548 cbmc_5.10-5.debian.tar.xz
Checksums-Sha256:
 e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487 173342 cbmc_5.10.orig-java-models-library.tar.gz
 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 6345384 cbmc_5.10.orig.tar.gz
 f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286 12548 cbmc_5.10-5.debian.tar.xz
Files:
 181d4c80d93f6c8a10da01fab64c89eb 173342 cbmc_5.10.orig-java-models-library.tar.gz
 5b91030b9d24f54a6cda8724f61578d7 6345384 cbmc_5.10.orig.tar.gz
 005272fb297ad972e8134cb9c8f28a46 12548 cbmc_5.10-5.debian.tar.xz

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

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAlvHoUAOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEBZBAAkCG+/7oQnc9kUDl889uaXhu1l00s72YhCcQ2
dPMN8/XjA99fnIbMwnQSP2I3cSbRxIotvkdnhFpWh0ZMg9I8lrzdOppw+QIhCFXL
9mWIqrTQxTWAY6/NAu8w/FjKNXcfjtkqF7zrJBAg+pvmEdCQvsKtJA/BNrr13zuZ
uFeCjYTQTEESs73rJ1aH74O23z84JxaxR2z+VHgaMJuyPMFBuE7llii5gChQn4Mf
vwGIZCXXgauOnd1zZfcJH6koJJzYoFAY20orRMAWah1LXnZWX7e47rqMwrvwmdrK
mzhajUIvde3Fz7dAxaTCi9xKhqrsNq6mMSGsP++nCHID0XybWfM9tp1kA02VHEnR
gEdnTH8OHEMjf3v30cLIPZleKTpTx2J0AcX+RJYa2zHG9uBjdSbOXc+pkh3zlfpA
dZ7gpI0COxGNTL9Aoy1Eb+dQnj1n0KdtBVGPNYa942dinTAQFLVNZ3j5c7ISF6yp
tZj4mpf1bsVmgmjNEyVSSeHHwtfspsk5zcNqEk66Jc3jMoUTvLt40EFt6dk5dFSn
qksAdC/xHxfuxNPm4IufM44xL9UyktXD4hyXTRPEc6yCF5j47YttPRSnoSwXMwIC
8VbtjFNZiu1L9LVOASfaqtwYD5j6zLMv6SRxSckLGZYXL48n2fseL/Beb5xfkazr
3hwn7YY=
=ntYF
-----END PGP SIGNATURE-----