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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.3-1
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:
 3e652dd3f879d1e2f6b37619dfbea535093b6711 5288736 cbmc_5.3.orig.tar.gz
 82bfa4d0788890d2f82e797586e1c0d523913764 9688 cbmc_5.3-1.debian.tar.xz
Checksums-Sha256:
 98b7d2eac8628cfe8bd246b44f7063c54b08069e280842be975c820553e9cacb 5288736 cbmc_5.3.orig.tar.gz
 cd6ba93bda7a9de5df05a8a0c6005c95fa4323b0c9a280ba43bb8eaf38d526fd 9688 cbmc_5.3-1.debian.tar.xz
Files:
 d5f264ae4bd57dab68ce5742537e4661 5288736 cbmc_5.3.orig.tar.gz
 2e94748a1c921a8969b8f1ac77cc3fae 9688 cbmc_5.3-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJWnxMEAAoJEDu/g5M27KkxAagP/0JTVjWODLK8HNoWFqhBv3Tj
UVSXJ0T+FwLnFAay64JSqrOZi2YXnPLy99wN8FGsEvJ5B5ufFyOz2XdFpDJXwmfF
5NoldbEgJ+1MAkZK4Hwa9iaRAVHGsbM6PpunRzUuC0ELVo8t9916dbfBqyVS5lnR
brWMViaLhT5oF8OMToHMuncAlEYlsjM8eBXMmL13L1muiaSFOLD293C8syyG8f8N
/N12Ib5XBTm4eSjdw9hZg+gLN5/0+RD6vDEFtfMcGrBgBmPY8WZs0KUGMPx8k8TJ
uOLueupw8bgI0GoTYH4a+3fdJT0of1YgOSjmwKtmU/0HkVp+TuIBUPD3ti3EgEzD
e3ag/gVtebc3vheYbFlvsjgps87KrdyoM1J5rPkl3JyS495aaiZF/0YRiTliJwWo
J3fFbQfi76/goufe4D/UsmxZ4u3q3VZUq4YbMxZqMxf8hlRWOBU9Kj7FV3T9vJkV
NvZQCG5kZ2cX9TZcRTY9Daks7fm6z983FkMQ88cRp7pcP3dLxxKxRXRrrcUHgPK1
KtYkJnRpBAplvhmC61rSpVUDRdxIc4XqjZ/8fiuVx7RDHOc6j3NURseRpXShDr7S
3q2fD78sBHAnYTe6eXhP+zyMkvxaDOrogi0FWy8xE6Bb+E0eVAXI8GI+z9+voiBD
6sZyH8GhI9BXSYLPS0+6
=L4qD
-----END PGP SIGNATURE-----