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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.1-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:
 9555ce1f5ff294cc75b55b57748ae2c24033311f 5127990 cbmc_5.1.orig.tar.gz
 f62b897053a6f4a2d3c5ad4d37afadbdbe0a29ca 9480 cbmc_5.1-1.debian.tar.xz
Checksums-Sha256:
 3049bf22b2068baf221237667867753ff0844813c445490bd1b2dcfce2a31e25 5127990 cbmc_5.1.orig.tar.gz
 867973d6a3674f9b9b3e76d9e624b38511a7eb7ecfb417bab17a0eba50c0b4c0 9480 cbmc_5.1-1.debian.tar.xz
Files:
 ab8da0895661ef14c64b751b3e5a00da 5127990 cbmc_5.1.orig.tar.gz
 c1aafc2897d4bdda79ec1898456de6e6 9480 cbmc_5.1-1.debian.tar.xz

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

iQIcBAEBCAAGBQJVT/B8AAoJEDu/g5M27Kkxt8sP/RAic068iydYk67pLu7fcHl+
WwJDg/iT0/Tdir2o1sOLcc3AyWmYPMvy4skOQeUca9X2NYZAZu21jL0E9QEaIxxx
6vCcceulPuTO/mNmrlemqUK5+kKhLZp1moezDC7S0ov3Am/e455FetLIb7bPyeRi
Km8x3mDZ2G0HNJ15ChFtSrhPxM+R4HoMOEsS62at5kdm9MAtGBoRakKqB5s0ev2t
Xxhlsjqc+xbLSOCT8Idy47UUmKZUK2aTdl567Jlno31fAf2oGgLDgOnhMQBN2AsN
OR8179qMI/KbSLJYKf4aKT6zCiwZJgWfp2CPswfRckvoY8ossPl+fCs/t3ICyKhY
rRj6IW7npxP85OQTT628yEByC3VWxg3vKuKgXSDmjinV/SvFECQutcoqmdrCaaeu
Oad+qmoo/sOBW50w84qd7f89fO7f5Fx4/JW6UrgTBeaL3OzTBB39CN4u82orGBbh
w5C3UniSDoKusk1zwc0vHU1126V4Cys9pNWImhnLKMJc052uTbMi1nFb3YpFH02x
qaBT1qyWm62G2cKIJj6Frw7dD/8fdj9kODyxjA3+2v9/jPvPyDwxLULp36Feccct
/2k/yxhFchonaGgF06Lh6yer9bZBBEnYrAi0QpSP99en4C+WVe5BqQwddrIoS4RS
WicMk4nmvQbuqhBcyXRz
=yUxJ
-----END PGP SIGNATURE-----