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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.4-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, libzip-dev
Package-List:
 cbmc deb science extra arch=any
Checksums-Sha1:
 5a336053cf101fce96ba0312783f33b538ac4151 4997586 cbmc_5.4.orig.tar.gz
 74fc7d7be7a2e9b73097ac440e2a1b3195cf0010 12028 cbmc_5.4-2.debian.tar.xz
Checksums-Sha256:
 9aecffcd04ed2b7989990731505d60c49af84f9b4f32739e2ce1d6438fc7d1cf 4997586 cbmc_5.4.orig.tar.gz
 e17b426a90f8931813f27e69aac39dcc31d43bc2ebed38bd8f4e35bc57ad6c40 12028 cbmc_5.4-2.debian.tar.xz
Files:
 7b02092af5183b63a5d37bbd63d466e2 4997586 cbmc_5.4.orig.tar.gz
 466710161ae0e8d7f4ce575fca4d9cda 12028 cbmc_5.4-2.debian.tar.xz

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

iQIcBAEBCAAGBQJXMFDDAAoJEDu/g5M27KkxIj4P+QFpl72TVrnaebJuoIB5DgPm
0qvSUB8GOfyImqzSFrXmHobNxdQGRIB0W7pZCVR1Z0+Kh2HbUKkg6RnLwPg9LybQ
rBhCGe/Xg1gCP89AAUu7VzTM1juYVlQNM4ODVOiib8LwzV1tdknZ8+84B2nHoDMm
mxR0FDhOs5w4h6f01XoyCNM+rMgGxzQY5WaB0AGbTxGjBVRe0nYpaG8klHCoUvaO
sJy+wfkV89OBf6HaotiVCO1BMkl28fJJfo3+PgbAH7V7AmvW/ql7fHb1Sxq6NgjU
3uASDICbcXmoJ/1zKOGBT/sgG7SKGKWP+43E9+uMpoiu+A42XcfCXc2Qiz2+iuPx
/18IsnHpxUHh4s8UlPCQ8v33bZiBiOjr35FZVE+weG8kiznDwy4kPs23DReLCmmF
KuXCMdQT/lDTSVSPOV7r8f5vAhaO6CZq9IOA8+JJm6JsFz7rmZt8eIWskzloEl00
TBAwVqeWIbwZmBmUiyKUthBgvf/zFdJhiAfBw1giq78WzU4fUBOQvE9P4gnolTgE
ymKHIDY90erT66Px7EklMfmg4h9HEPhwQ157PuAwL4h72NC0fTfMMigqqJoMLF/M
/mcSKxIEQblIhZkFyPDxxajcI1vq65U5ZdD1AQQ87V76zFqrSEsPWzp4suoVf19Q
KzDz6ytb+tibzTJNUkSx
=2Lbq
-----END PGP SIGNATURE-----