-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 1.5.118.6b56be4.121013-1.3build1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/boolector/
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 5)
Package-List:
 boolector deb science extra arch=any
Checksums-Sha1:
 8c9c8f443b401586649ced68096b890da59d08fb 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
 b136e73313e402c65cb3819e03f397dd3b218756 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
 f6c14d8ff5b39a390774978140312910186b1136 5584 boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz
Checksums-Sha256:
 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
 e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
 f35e7063c87902346dd0c3c77573bf83ee7bfd1a7d40070e5f98ae2e17e0eea1 5584 boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz
Files:
 d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
 b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
 b65389be5a5d983b6f7bb0411733bf4b 5584 boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmk4rioACgkQr8/sjmac
4cJKXA//QWaFKw+AAluwITik8oPxtpQTmiY58rbJDDd4wa7WFpa3+2Yye1Gou+c8
Hs1FTKrBTcvjJ1P3WCQE0hKmGCvM8wEO64jL0R0ZhY3Fr/vTf40roaaZLYqbffp9
nf+h5ScpVEYWN+47UX8T/5xL+JdNKUQxAF8FvugoJ7x7kCjvSK71660Kf37yhJIc
3/KS9LiyohVmeHNR+XpoKYVE2LPDKh6irEcIgta5siN8g9CJkckwgpdTvcAvJTTf
LKM+loDmW+xvVoWHB9tH04EoQxJZ/hL9ML4VhpT4C0OKp/NVoVk6Q9TcL8Q8jiTI
uUAvv4jHso9aLOypkxlFjbTcFSI8YNBZ5324k63jUTt7Mj4Wntw3Rbtq0tw3VFe3
iN4aF/+1sR/ozdJyf7nbCRW/KVUoQ+mj30AWPoskpyhAfKVx/5MFzl7eQhyCKIVY
1zjiufQo7MB9J9YUjITydX0hUGc3PldrLIl1wivRZ8fH/BTCZXLQ1roL3rIBtMoF
tJheUYewKZbZumsMF1srCaXWcrDgzi5vIskykmDFfIDAjSTdNfrE7xmCcAGtVRxm
P4mjbu/uozHJyP6G7Di7Knyhnjtku7ofD7pGA/3F23C0eFDNDs79sKzlueSZFkeW
3NvWb0GHH/FEzkoz38p+NywpBi7u3YQEp5/L1DflSdkVap3y6VI=
=3opT
-----END PGP SIGNATURE-----