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

Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 1.5.118.6b56be4.121013-1.2
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
 f59bedc0695ca3bb48b210fc15f213caefa6b330 5280 boolector_1.5.118.6b56be4.121013-1.2.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
 20bc31b6daf667035f6dfa6298fa5ca8b6a8469482937a12e7259976b32f30f3 5280 boolector_1.5.118.6b56be4.121013-1.2.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
 4afbd05fae82ee73fbc3a34210f95bca 5280 boolector_1.5.118.6b56be4.121013-1.2.debian.tar.xz
Dgit: 4a033a73f7f0ef7c3a51242d60cf18ed0d56c651 debian archive/debian/1.5.118.6b56be4.121013-1.2 https://git.dgit.debian.org/boolector

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

iJYEARYKAD4WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCY21wiCAcdmFncmFudEBy
ZXByb2R1Y2libGUtYnVpbGRzLm9yZwAKCRDcUY/If5cWqvFkAP4lcm5lUhVKmhSG
AU+NMrnV9SA058x9AnduD6qeh5BHZgD/fudrZr5MkoK5FvxgdjIOpGS6Xk/baB2l
rP3kP3jsRQk=
=MqQX
-----END PGP SIGNATURE-----