-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: cbmc Binary: cbmc Architecture: any Version: 4.5-2 Maintainer: Michael Tautschnig 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-----