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

Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 1.5.118.6b56be4.121013-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 53698331ce571d2e5353ada7d3c1ed9531712df8 4776 boolector_1.5.118.6b56be4.121013-1build1.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
 91650ed5e17b3becefe9d8013e848611216d764914edf4a29b4b4952d84b8d39 4776 boolector_1.5.118.6b56be4.121013-1build1.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
 345906a1095f31be74c2926618af5bc3 4776 boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQJHBAEBCgAxFiEEOXpIEO6xMwaMLot69mTSVrRpGn0FAlrDq6kTHHJiYWxpbnRA
dWJ1bnR1LmNvbQAKCRD2ZNJWtGkafUaED/91sUvHeqacYIn0cDY7dLtDJhPmpizp
quO1Mp2pLtdaf7mZb1HWs1UX6tN/TyZchZ6eMtf03D6zkenq8zKDcCz6wZ1PX7Rc
g7fMeqBlu4y19pKs1TJtAdP/bqLx1fO7k1pEn18NFmF6JvJYo87vpBODgibv7ter
m87i8EcybKaRMn9UQ1yWcil5BZWuoeciZcuiw/NZo5XynGQABjEG0hsYFX8YJ2x4
u1Nxotv/6SPTaiWpRWDR7GXXXyIUFeCj0eEeXEfAlBpOIICGvw7Ugef87H0eIvdd
yx9zJedlH8oCf7SP45q2Gn8R/HPDKj3RasFbMKS19lWX4Tmi6UwH5XIn3HnnwjIi
AlFjNcsQW2YBiegElMSJS02QHGWRyZxF3UMrpN5QLVX502yYav9BG027FECkJJji
ddqO0guTmu6ascuXOLSPyb6nc7dHH1nPd1B2XYz6NnFxZN6kw71rF+o+UVynP2cX
IAhbA/bbkbxSVvhwJMsRJpI/b8aKm6PRx2s0Xy2toDRyw2tpqxkpU25tOJf2zdPI
QwXvWcZ4173J5LlwN3E2eJqZq1xwNArd99X9Sir8bKu6yaPkiaHn9GgbCknyMqG7
RTITO2KaQkbNY1TZquigF0a/qbYAwDRT3JzFs+jfJ/IApdZwH7pn/rvCTIhEe9Cs
BaVB51Nsm2CKVQ==
=pN/E
-----END PGP SIGNATURE-----