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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.6-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, libzip-dev
Package-List:
 cbmc deb science extra arch=any
Checksums-Sha1:
 d2beb6e29e66bb1069b3dbbc702b15fb59a96568 5459880 cbmc_5.6.orig.tar.gz
 4a92c2c4432642f43e9f43bc4d2b1b6372694ecf 10608 cbmc_5.6-1.debian.tar.xz
Checksums-Sha256:
 c6bef63ec42816d0add995ea3b2a5344845cc31f0a6b9e4b8a18df8bb8ad904f 5459880 cbmc_5.6.orig.tar.gz
 0d6c4d776f662dc82a70ed16c411446ffe4d9e1de514966abec4c0482d46627c 10608 cbmc_5.6-1.debian.tar.xz
Files:
 37d634b10b16dae52fc80436aa046818 5459880 cbmc_5.6.orig.tar.gz
 0a31bdd2649de3f0bb427a45b1146706 10608 cbmc_5.6-1.debian.tar.xz

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

iQIcBAEBCAAGBQJYQ/+fAAoJEDu/g5M27Kkx1EcQAKb6mLFdEIjmAb2XS8hA6zBj
2u1vwfIXcT50CxUUsrRix/8+4lPYNK0WnVdW7imRFyIzf6ez/B1zyO9oPmtyNgyv
rr/7eXP8cdteYwPB/m3j1fjBIIqfBluRPH56YpaG0J/wsrVNEZmmHT9dZQu9t7wo
fGk3tazEQJM0rpN9Ye4LJYvTdvlTVeX4PzTyKgUycIwdQYK/fhNyhbx6v3Q15mhI
n25E+lvGkKGfSIPqccc6OSYLy1GuTJkzovF09Hi10PX8+7igFzasn+j/Z8HK7AxE
JtqjK5nHEys6TgpTxIaSCANydLr/SBcfKv1NBUjv4w8QfYD9ArxCdo8QtfHlBiaN
wHKQq1X1Xpr+kLjprNvtqSa18P0C25fWkTmgPnZR7HiC/y9ZJcx79u20y8yrgkEm
6KU+8U4AbYg0ITYV5Cm0a3gw7Ur0HbU4Pnk14cZZ0CABDaqKczuzBRQV/5Nj45hY
sFLQ3bCq03+Knd7VuqMMUQBjmKhb5uHoCMnb3JnVnlqvPrMEl5gOvxIym7ODG5az
Gg9P+yhPN56q/Ps3FI8BNOjdWdHS/gQdeWE0kXIhp4mhQfEtxh85dMkYSjEgGzqs
m9oAA5ThV03QIclrAEaH1MmljfA0J6ya71U0aNVy6DZH4UQDgLHuqUtgU+/9oP9m
GReOaXLyJ/+1PWZbXXoK
=V9S+
-----END PGP SIGNATURE-----