-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-2b1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://minisat.se/MiniSat+.html
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
Package-List:
 minisat+ deb science extra arch=any
Checksums-Sha1:
 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
 f8f7269de9a739b6e95d98f8fb287075d7f4f574 3676 minisat+_1.0-2b1.debian.tar.xz
Checksums-Sha256:
 f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
 a08ed8a4a083291dc6ecce0cc8043df209e0ce7d53c646280743b46e4469c87b 3676 minisat+_1.0-2b1.debian.tar.xz
Files:
 a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz
 f6fddacf3ba5bf4dec229184ea3e42ae 3676 minisat+_1.0-2b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJV41g9AAoJEKBN28suwKn/AuQQAKgqCo+JzwKRy6gf5Q1kUktw
dQTwDRtgTInigAr/BOIBdOvf5lDJVGNFTYvpib/5yZjpiGOh7hRJKNsBIA2i+mCb
QEGY5xwreipr3UrOvWvwsYNlJpkb4o/2fBlWncgLin7z9oJFoa/YNwEiqq5XRnQ1
aV0vEOX3/9Rk4zWzowgnbZJcXT6bYX3XAK0+njYz0aQ6Xavs5pQwZpkLhoe3007q
jOu/Xgb13EbpXm9W5J9tsGwT+zz05BDv1Qa5/FKhpmTlc2KMvxFGpDhOYGbLD6OK
bvS6LSdRjh8uZ4l3WL9ggZG/NenS2SoCGc5hbW8WeLeDn68jOoyLD+ekd/LLx3Ld
QQEkcjUGhqmL71A3Fn5vsZUFht6xzpKZZiaktXpf8cKhzrLzkd8553DyY+md1D0C
Sr02B4VGIC6MPQQemXI4gqLXyldo+ywWVRz8CIs6YVqqshz5BeB3eBCAj7HdNTm9
tvj8FMxzdKvorXF2c1v+RgR/8tX7ukFQHZx4rurRCnQnA1FHYyXeY1+gLizOnGtO
AhxnbFJYgybeWSXR6OsZGKe2muCpp8EWD/SgBZga37XtEu4C7Ohk7kfLLW3QU1jg
yfN+SslwwnMZ7s5NzsOETQJr7JX+g2qqidGp5AgF/XCrFHAetqqnrJsI4qj2vxjF
r5Az1DWbQn+3EsxYiC9X
=eBfV
-----END PGP SIGNATURE-----