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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.5-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.4
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List: 
 cbmc deb science extra
Checksums-Sha1: 
 4b04d4d6dab95175b776cd23e5566fe06cb86ce7 3766138 cbmc_4.5.orig.tar.gz
 4d7b69af0f437c3c79579018505dd4be5f84e19a 5897 cbmc_4.5-2.debian.tar.gz
Checksums-Sha256: 
 531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d 3766138 cbmc_4.5.orig.tar.gz
 21bf05b4d24771dae92f94241498048d98d64af6bdd77d2ce5212713a4d1862c 5897 cbmc_4.5-2.debian.tar.gz
Files: 
 b4cfb509916dd9edd5375424307041a4 3766138 cbmc_4.5.orig.tar.gz
 b58e76a791dae7c708e9de60b35cf4cd 5897 cbmc_4.5-2.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJSGpOvAAoJEKjvEonjOGdB44cP/1Yu4bp7Ju8kjjQApwSpAPLQ
swm9usuhikeSWxJqv1LKyAREwrC0WhYLaOadAjurNun8r4OLfOTK/X/ZNNBGg36/
dEBDEAjDnSKZc803/KRZLx1QP0cmkesQ7hMtWIx20UywPP1L9GHPEkCkj+9RsYF0
szr3NoLqXRs0LTRHC9i36RBgaTJ6zTCkKeBQvG5vLTkhxhqULtn16W9jnFSqQEDG
0i90kiFIDgHyC8371/hhrMbfvL9k22/KqO/iXBV3x1OqqofEDTFVSUY76+RKjHmU
zVVOthJQA/4vMNRPTAZAhhyRIBc+ehOnE6NeL6QtvuD9aU1a3q/htlPJ2Rj3HJ08
W3ul+FtU933UhYcKzpw1j1J/0Lj0iQEhwxdhI+OdvK8hZjgW/zt57Z11++Ez6C7R
ipSyAh7BUg2jZNtYGpYGhg4zL/PobzMfk92OXKRq1Ky+iZ/QDUIVC1YcOPvi31ad
TigHFq34bituSZ4orLFAIR8xI0SkKtOYjmiZW+9mOyg6C0y3J9bTnqbWBenr8lbc
Q+G38ksaD0P95PmEHXNXvyMYlK32cUc91dbpOL/nLxjq8hSsVEwt4RODG30O56N7
+2HAFORYfjh2zn7+2UXvc3caca8OlID403KULxXCAfdn4T84iluXZrBIRacG4rV5
DR0OUcirybVdsA0CeG4Z
=aBiK
-----END PGP SIGNATURE-----