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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.2-1~bpo8+1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List:
 cbmc deb science extra arch=any
Checksums-Sha1:
 3caa37cc69e85a56979b3bfb4bc0b4f45141f0f2 5080771 cbmc_5.2.orig.tar.gz
 5af79210a8f3af331282adcc08e43830df0f7b5f 9812 cbmc_5.2-1~bpo8+1.debian.tar.xz
Checksums-Sha256:
 765215096895a75a25e7eff3c6caeab2fbe6127e01e9c404bf6c3ff2ac23a411 5080771 cbmc_5.2.orig.tar.gz
 2c8497dc95550fc47776498a6e5feaefa3d75b2252db77cfa4ff582ce09cd1cc 9812 cbmc_5.2-1~bpo8+1.debian.tar.xz
Files:
 bfe89ae5f21e666d14ffa9a56f60436f 5080771 cbmc_5.2.orig.tar.gz
 ad1006da6b4f7e97c5dbe6fd1bf466e3 9812 cbmc_5.2-1~bpo8+1.debian.tar.xz

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

iQIcBAEBCAAGBQJV9wxVAAoJEDu/g5M27KkxV+YP/35h5SO9pXSzWe4BiHQu+Ukj
0ilqsgS7X+fpHdZ4ji/n4bl5//BhzHT1xe2aaImHJBCgUr9RpAaBMe8GpcuDm+z8
VpEKIQRprhTODALk6b+O5o5FpeEmVe87Ye6OPyTNuUdXTfjieOFwfPMshYcMrcRh
0C03/Pln9QObL0/07PC/2LgzetgN/aKSVC2roL1p9Ct14NhGYXAxZy8rQo+jpCo/
Xe4zJTgkwPLgHP6HsJGN0Js/3r7HBvJGw/8Jgj/VpSMgzS48YAX6yUHcuXaohJAv
O4q1vqoqzphLYtwjU8xPYEzzTE285qdbHQnGN22ypyNItfcPSkNGtuOF1+j1H8+O
X3cXYNI/EvyciIUWg+WpYV9E+C4RBqu3ydo52WBMFh+cJqFfMj5UVxz3hmuhfC5v
baHneZ47QNen8PiWZ6n2znHt269M5WDJbnHCS41oe2Mkt1GQZ9fFnBX83QGjcxb+
yULKOnJiLpJo8nebK7/5lUK042bT1C8eXugZ/OTxySy5P05KyDHIet3mrd5MkF9j
fyRo/0eJqPU5RQSgLfCiSUNxlfhKPs+CaE08C1mRImojtkzp+ZpNqaJXTSjSzXs5
ayYSu9jMGMeBc1aNLS0yZoASAp3wCGa9FbJjKtAH6KffccA/V8qFhpE1FYseJerN
viG+21+qsX55pIX3N9LE
=hJuk
-----END PGP SIGNATURE-----