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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.9-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List:
 cbmc deb science extra arch=any
Checksums-Sha1:
 3ca63375e8e5d1544334d0d43a72362fdebbf14b 4247646 cbmc_4.9.orig.tar.gz
 ee3f25e3d35ca59f60a01b988ff2784e5931e000 14528 cbmc_4.9-3.debian.tar.xz
Checksums-Sha256:
 5a09a9664a0f5b7e0403e5f45fde8407dbdcf5e99ea4513ad88b325bc8693207 4247646 cbmc_4.9.orig.tar.gz
 4fd2cab6f9466becf9d4b28fc7ca89807e1c0b2c718e0167de91c41f0b66e7c1 14528 cbmc_4.9-3.debian.tar.xz
Files:
 bfa66b211976a1fa5ec032571f62bc1c 4247646 cbmc_4.9.orig.tar.gz
 548f982d26a241648ab7a29e4ec41ca0 14528 cbmc_4.9-3.debian.tar.xz

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

iQIcBAEBCAAGBQJT446kAAoJEKjvEonjOGdBtJMQAKCDwVnvV05mEIxVfVxIGCdD
EblpsihX46Jf7nHnWufgS8hhrR2VhTTP81nc3bqjM0y2lb0EiohfyDpEtSkNKYvm
hmVa0Xb8npKcg9NbzHnNAoX+38tJUpuEmvg6mbW9/nqr5AuVl8QE/7+CJsac+2Ar
RF0PL8qQXp0Gt8rBuktmyez+J6TYdqKHQt5/AxCX4mrwIzrOE88RPDqq9LVH0dxn
mcORIudm3t8ITZLTk+I82+FQKwPKoSzdGokfVt49bCMf4I9gkUyrRSlo9NQoIHNU
TOAYj/q7U5iV8SRN9gJAn5dwL4kktNSYh2ZrLGmfip8xEFFDOPw7XiqtnE526Mjm
H+EsoBQXm9OHc3onekomcWkWXWWRxya1epGRLGv7NChVklFBoYpdBiEGLaRJUSVq
8mE+qDXCdKJFO1VEx/6AFSkGoy1CE+VBcT+VtqMals/wJ0oW5TqF4Vuta7Ial+Un
djnkJwA3bbv3+ceh6c7apT2KX9GPBilhS5P5aznqUOJPUg7p3QvszpNKIgggWD4G
wIeBNxEZHAeMsdgywKA7xj/oTUbr0gzvPtgFUWN5zOE9av3fj8K8LhSbR7YW+LvY
ee0RonjPEZ8Sikq4vY+O6UX98fPUiR6XL6eu5SIEiNo5ITpEHekAbl4v9qJ4eKBb
T9zGW8Gz0H1P5kusLh3X
=ZcmC
-----END PGP SIGNATURE-----