-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.1-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List: 
 cbmc deb science extra
Checksums-Sha1: 
 7590f65ea2a396eecb413c1175027b083502ba57 916603 cbmc_4.1.orig.tar.gz
 68edb96a0cde263810410fb18296c835f3c47a7a 4354 cbmc_4.1-1.debian.tar.gz
Checksums-Sha256: 
 7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68 916603 cbmc_4.1.orig.tar.gz
 eeef61d153e5a7897e5b500523bf591a988664bcd3f9bf2a9e701d87439f25b6 4354 cbmc_4.1-1.debian.tar.gz
Files: 
 2719473150151d4d96096828f0b28efd 916603 cbmc_4.1.orig.tar.gz
 9cb0b05cc891843e58224c943e65afd5 4354 cbmc_4.1-1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk8XRkwACgkQvx6dH3bVKsRLYgCfdWjkDmapnPdmtVf6UdGwyjyp
BJgAoIPqrHRhyHx0rLexx/DIo9q4i1NW
=/94v
-----END PGP SIGNATURE-----