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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.0-4
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
Package-List: 
 cbmc deb science extra
Checksums-Sha1: 
 e104d29c56bb6bf85250ea643fc04f67bf0fce9d 869203 cbmc_4.0.orig.tar.gz
 c44061a51c256705f3f2731b55552ee989dbe9c3 4883 cbmc_4.0-4.debian.tar.gz
Checksums-Sha256: 
 f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45 869203 cbmc_4.0.orig.tar.gz
 a0fa513f65fe43fbf10fa2fc4cce437ebd713c4bdb6049f2faa5ce336ba850d5 4883 cbmc_4.0-4.debian.tar.gz
Files: 
 5752b25a62d33a6a6769efd3a6428f37 869203 cbmc_4.0.orig.tar.gz
 b5ca5f9763a13b89f67b634a78c8316c 4883 cbmc_4.0-4.debian.tar.gz

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

iEYEARECAAYFAk6jJM0ACgkQvx6dH3bVKsQ1IQCg39gWFljsUoaEWrlriu8Fya0N
iQkAoK//zS1qSozhx8GJiUrmq5HzgVua
=vxwJ
-----END PGP SIGNATURE-----