-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.0-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List:
 cbmc deb science extra arch=any
Checksums-Sha1:
 27109c8d352418eb92c32c4ef78492c43a926e93 5088984 cbmc_5.0.orig.tar.gz
 6a06fe8d4b11fb81415196ef89bd20d3a7048c3d 23936 cbmc_5.0-3.debian.tar.xz
Checksums-Sha256:
 667cc36ac0c059fa9dae6a1b3df5c76725842d8bd4218d3c93080c7f47c357c1 5088984 cbmc_5.0.orig.tar.gz
 ac50b6fbd13902427b54dd50e034b51b101ced38a1e89ab469bc86ea0652e05c 23936 cbmc_5.0-3.debian.tar.xz
Files:
 7f78627c7dd5d3f38a804003f6c53aa6 5088984 cbmc_5.0.orig.tar.gz
 2d7d1ae1da73466d36eb86f1736998d9 23936 cbmc_5.0-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJU12GFAAoJEDu/g5M27KkxnksP/20fmLFb+TbM1Xss8ThZ+rgJ
rrQRxYOhBPrCsMe68ydiVv9t1ZKbFJrC/Fz/uFQ7et+1OJ/qBazYL/oRS93QWTFt
gH9w57d12pSz3EMJn8NI1KCHVfZ1UzUP74uCXfFaH+YIHKJfCmjKoEsHfilyow9L
9KXepVOB9/TKyNHUYgzqPSZPZZjauGpeS4Qeo62dtCTcHSL/39biHEYHP6F25IQm
yagpwH4a7bMSCFfB8KFICgXsbY7hL1d7UNjTFmPyRsAu6RV+/tAAjDdVaVVw+sEC
6XynGYADPkYWYfFb0ENcQrYJuUsxrZVF5rZkM2VWcFdtOEuzZn9PpNtR7HPIk0n8
xzqoJHU8VZ3jxh3zho52HFJ/T2hY84sHsnI+rRUEOYh6uTaobHrV7zNvMJ72EcyP
xQ7uuUM547TJd4nNRtbuNRog6fKjV8KkP3etIQkIxluINY46pGqgRzXcSd/IpC7I
4j+CRBreriEfx1qzlUX7fXeo56UomxxyPOteFybcPtzkFkZ4wK4Z29k+7OGbUcLy
pUxnH/NG1TxD6x9/Vf+kD7QRmWkWrNaD3ofDOrkAiCO6lw77mZY18u93nxVXnffF
PkF1ksT78s0IJRLDHII/uq53btLFA9S9QDzATv8Mqw9uD0q/XONT8EWaq8klwKvQ
MKvLN56wC27SvprMNDOk
=+aRi
-----END PGP SIGNATURE-----