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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.4-3
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:
 5a336053cf101fce96ba0312783f33b538ac4151 4997586 cbmc_5.4.orig.tar.gz
 9f6abffa0d8e5fe56767169acbab0fe233a1f7ce 12188 cbmc_5.4-3.debian.tar.xz
Checksums-Sha256:
 9aecffcd04ed2b7989990731505d60c49af84f9b4f32739e2ce1d6438fc7d1cf 4997586 cbmc_5.4.orig.tar.gz
 654f261fad4d3f184b0271f0c590da1bb1f794baa813296bd0560f6298f7b3f8 12188 cbmc_5.4-3.debian.tar.xz
Files:
 7b02092af5183b63a5d37bbd63d466e2 4997586 cbmc_5.4.orig.tar.gz
 488999a18b6a7c1f3f6a2cd5c2b2ac06 12188 cbmc_5.4-3.debian.tar.xz

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

iQIcBAEBCAAGBQJXh1k8AAoJEDu/g5M27Kkx0O4P/jPBdV+k1kJzWHazU82KLduH
Cjk8nen1TAsewC4/iy8V2sqODwsYStK+pGyOHofv/fDk7tJElIZupvKfZEofqosn
ewnFa1Dhzdn7ppDEbPQKHUfEb4Ke87OjL75cPvd+OgApl4FWSE2VAga6Y22zuc/r
lgL+mlqS7e8nlPl0aaMIlFdu7Eg0vbygZN1JRLhwOW/oS+3r4kxA3Z4sVvy7ZjPh
1UI10hB8xnkRZ5iC9yjnwwuSzw94j8Ntj1T1RIrrJSK/AvHK7nAK7Wrg5L9XyP7X
m8VQ1+I0j6Z3eehZuzMqmEvJ33bzFCRnGCSKK6HnP00oJlTx2v0fZ4gmtpf01J5f
RzmZCM+sNxoBRM4oY/amxUtqD6SLKFDMr7KNoIt/D7Pk/n9RdSxCt4L+c7wbyKi2
lrO08uYSghueClZZsoSyiCaVVFqpzMpsEqxWzburmdFkUstr4slpxsznFG7HW6yE
qPNRBLXnjaQ5C+0xM6mMZ2othvcb1DYvG5ZBP///c6yo9v7YCg52AJN0HEl7Ss8/
PyiKUfY42EFdGO3G4NM2dbrI3/uGWXQgY3inod59KMhmRG6zCVseQQy4kJQgPQJJ
kK2q/MseJV4acSiony/Jj1uoLd1GTrnGlUcRGpQl+BNn8iSVmuatYghMTBSM8tBC
gJ8CkNpv6WT5h/dp+Cxe
=Is1r
-----END PGP SIGNATURE-----