-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: minisat+ Binary: minisat+ Architecture: any Version: 1.0-2b1 Maintainer: Debian Science Maintainers Uploaders: Ralf Treinen 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-----