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

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 4.1-1.2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 9), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison
Package-List: 
 cbmc deb science extra
Checksums-Sha1: 
 7590f65ea2a396eecb413c1175027b083502ba57 916603 cbmc_4.1.orig.tar.gz
 46132b70a2769ce1bbf1d9689031b424bb7d905c 4930 cbmc_4.1-1.2.debian.tar.gz
Checksums-Sha256: 
 7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68 916603 cbmc_4.1.orig.tar.gz
 2304fdc35cfecc49cb1ea0dc7ded065f16de29d51805e9468d023541cef14939 4930 cbmc_4.1-1.2.debian.tar.gz
Files: 
 2719473150151d4d96096828f0b28efd 916603 cbmc_4.1.orig.tar.gz
 03c9c2f0b1ad15b559ab70168ae9cb50 4930 cbmc_4.1-1.2.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJPuIfcAAoJEHidbwV/2GP+BfkP/30EvaipqAASCXMJ9TfcBrig
PXsRgzUzV/2KyW80ak6wbzL0NnWINUKvBsczAhP9/8ITSLLzCuTW6zPqJctzjec8
zhDZT9W6inADYlU5qwbwp9lCPPF9OgLFTmZZcC9K+v5Y42bmiZTEteN8HJiSAVzg
JIhfhMLUlpj0IlM3S2iyhrRxdOjSoOzZnKR5+I5Copjb34W67agcuO0OZPi/YyQc
WUGWqqHOywCqGj/b7oi0Ppx8+Zd7lN5Mnd2cCvmm2nn8CjknbwlJ6J1Bcubfd/KN
MIQjefg5H8Gt53M8IU8/lVN7xAf7jjTMQuOx9MNlWff/D00Fsw2EYeC3rHXyyMnN
WReWqE1VBl8402MKmm8N47oOiQLVrPc+jTXpRVnaQyslLsYiODQpd1b7GI/Ub36a
GUso2BHB0yPy/LJ6kpARHF+/IyPoiVGSQlDVPoaMotyPIPrVNFe0V8bkNQIQvSZx
EZ7cUXJ89ek66uH9+qqy8Jkw8Ahav+M+ibCe/xfYF4+X4jRniII5yuj6e89F6B4c
FS+s3l3jutS1PGRGrZZFL3C9s3J4YxMTb5lb24sk+VjDh9RjPVpHg/V43jIfCTeL
RoSR9bvf/S+faMJxhHHbkN0gH8VkjDhaqd+VHjj0/TbRNuCtUqF9FWofPPnONmQX
PS3TZwU0BlE+Qqr+HUdc
=2itK
-----END PGP SIGNATURE-----