-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 16 Jun 2008 12:51:36 +0000 Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat2 - Fast and lightweight SAT solver Changes: minisat2 (070721-2) unstable; urgency=low . * Added libz-dev build-dep to fix FTBFS Checksums-Sha1: 2f175bd914751899d3c93360c4f1fdc641167b70 961 minisat2_070721-2.dsc a8c52be6b674c2bc1bda5d1aa63734994abbe059 3442 minisat2_070721-2.diff.gz 2ef08655e155a7a6ad4dd4c1bffcc7901441bbed 36562 minisat2_070721-2_i386.deb Checksums-Sha256: 4b933fe6afd855465214c15ed581b9329d99e179700dfa09ab4e7d67e952acf6 961 minisat2_070721-2.dsc 8ae866131991077c9b04d834963205df3f68edc61a51a650a2ff128899e02f75 3442 minisat2_070721-2.diff.gz b75a7ca77f3062019f9fc28d662e52f9f33bdc04553f2b20c73b9da02cecc7cc 36562 minisat2_070721-2_i386.deb Files: f862fedee8b2b732bdd74674fdf41d63 961 science extra minisat2_070721-2.dsc 84f54a9087a72c12380ede7cdda1f3dc 3442 science extra minisat2_070721-2.diff.gz d7e03b653412f738d5c38f11f6375607 36562 science extra minisat2_070721-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkhWYk4ACgkQvx6dH3bVKsSnfwCg5cGxNoKNjeeUGVBIKfRE2t4c UbYAn2TPDwOLDD36CC1ByMUb7t0TYRiN =zb/e -----END PGP SIGNATURE----- Accepted: minisat2_070721-2.diff.gz to pool/main/m/minisat2/minisat2_070721-2.diff.gz minisat2_070721-2.dsc to pool/main/m/minisat2/minisat2_070721-2.dsc minisat2_070721-2_i386.deb to pool/main/m/minisat2/minisat2_070721-2_i386.deb
