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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.9-4
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
 9af98b1bb5167ac348779878e2a355cfb9244b91 15360 cbmc_4.9-4.debian.tar.xz
Checksums-Sha256:
 5a09a9664a0f5b7e0403e5f45fde8407dbdcf5e99ea4513ad88b325bc8693207 4247646 cbmc_4.9.orig.tar.gz
 f6e286b6d7bd99f35bc09dff29d6ba060b1652df3efaffdf8637d9d6ee4ae829 15360 cbmc_4.9-4.debian.tar.xz
Files:
 bfa66b211976a1fa5ec032571f62bc1c 4247646 cbmc_4.9.orig.tar.gz
 6ec126451109b4a392d14aa54b1e5e00 15360 cbmc_4.9-4.debian.tar.xz

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

iQIcBAEBCAAGBQJUOSukAAoJEKjvEonjOGdB5qwQAKALIiFWEur2Kxz4lgo2438f
uwLN/o4EMT5s2L3V/JLRoaRlh8hENInnSHBSa0BVBAQBw3EeZiCsxlv0iGqjmLAx
aXMhu310NH5Sikc1UpB16k/q5s4IDJfgjZqCfNNsD799x8pcjLRteGl3hnLzGgxv
JJYiOiooYQu8ymjm7YFEjYxd//Vhw5qDFPNCew/Hz/PFU8Qe981hogSmwI0AR/0Y
nlUImr1281JNEUaPfH4CCfPh+NNd6/aAopoBf1ye3cm2a/s9NTfukjrFHuxO55ky
qf/EE0mZFcinaJKglvjjW1aN72CpdTEIjynFGHXpA/Kt/SvazGVMgil7HkMkhxO1
/sDorQoqkUwv+apXP2HnlWlJ9c1HVViVm+c08yXFe+hzekMvvkQ5C7Z8HijH3dhi
uSmFUtBf3pOVpIHmlGdLLrf5R6yLfncRamvB2XLbnQoQsfw4XTXnZXnvwtq0ihn1
mQEvEhTV6rgcgfvZgAZp362+jRhYpJINz9eg5AE/LBugbLqa4oze/sOHILVz+S25
evpkDbYFsFvFQJmwwQwIyLgY6NJkqAyBebMSJJvingQjApxioI9adWHhPMUs7CdZ
uGfRz4HQW2lZzxYdWPc+9DLvDErT9Yizxhw4huSHhVp0BYBSx/dUY2+e0SkYGetC
7UpN30ij7+7B5ZZILSVo
=6Mfx
-----END PGP SIGNATURE-----