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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.2-6ubuntu2
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: 
 e69767ed3972b3ce85739eb88a56fdc45266f4cd 3398200 cbmc_4.2.orig.tar.gz
 b732dd53d054ec9d820c4215963abc097ec9a818 7589 cbmc_4.2-6ubuntu2.debian.tar.gz
Checksums-Sha256: 
 038ae992a1e69dbb4833208028804e1093573bf1c7c1e8d7ec24ce59ead7594b 3398200 cbmc_4.2.orig.tar.gz
 95adc9c4a5198e6f7fb732f35d5f18ec8e59c0d731567cf2d0526d1977cd90b6 7589 cbmc_4.2-6ubuntu2.debian.tar.gz
Files: 
 397b44db218c6827be68c4893656a2f9 3398200 cbmc_4.2.orig.tar.gz
 a3f3538e2584793ad3a81cec962ea225 7589 cbmc_4.2-6ubuntu2.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iEYEARECAAYFAlCbOiEACgkQvjztR8bOoMlQjACfZU35BIJLDZf5byEWD6NPzT4r
25QAoKnX6qmChqvo0dWwKzwDntWinvyT
=YoIZ
-----END PGP SIGNATURE-----