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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.0-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 7.0.50~), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Checksums-Sha1: 
 e104d29c56bb6bf85250ea643fc04f67bf0fce9d 869203 cbmc_4.0.orig.tar.gz
 c05fe1f20dcb316daf124332aa2fb6820e5c096b 4929 cbmc_4.0-3.debian.tar.gz
Checksums-Sha256: 
 f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45 869203 cbmc_4.0.orig.tar.gz
 b293738f40d9da1b2bfc73108def2f9d9271a424925bdb790dcd2cacb0da66fb 4929 cbmc_4.0-3.debian.tar.gz
Files: 
 5752b25a62d33a6a6769efd3a6428f37 869203 cbmc_4.0.orig.tar.gz
 3871aaf43e27f821b2d02375f6152431 4929 cbmc_4.0-3.debian.tar.gz

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

iEYEARECAAYFAk4ZxwMACgkQvx6dH3bVKsTnDACeMZaB+Lu+tXYVgxJDxQvL9EXn
PJ0An1XvvazxpLbt16+1rnxdjoeIt1Fq
=wa52
-----END PGP SIGNATURE-----