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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.5-2ubuntu2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 f271cf7c531063121a04f2463576c1cc868a420e 6472 cbmc_4.5-2ubuntu2.debian.tar.gz
Checksums-Sha256: 
 531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d 3766138 cbmc_4.5.orig.tar.gz
 ecc0dd57aaf25647fc46ae61e0a85077f1c74727771a300e0435b05e9726fb07 6472 cbmc_4.5-2ubuntu2.debian.tar.gz
Files: 
 b4cfb509916dd9edd5375424307041a4 3766138 cbmc_4.5.orig.tar.gz
 56b03375876956b15a0ff6a834c63d8f 6472 cbmc_4.5-2ubuntu2.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iEYEARECAAYFAlJu01EACgkQvjztR8bOoMlMvQCaAhKg2/UrHMzTN2hw0ybdZwO8
/+QAnivIKpOA0/qmakyHXh4/ObxDDfTV
=aU80
-----END PGP SIGNATURE-----