-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 26 Oct 2008 20:35:45 +0100 Source: minisat2 Binary: minisat2 Architecture: source s390 Version: 070721-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat2 - Fast and lightweight SAT solver Closes: 501983 Changes: minisat2 (070721-6) unstable; urgency=low . * Completed man page (Closes: #501983) Checksums-Sha1: d81d6b81d7e9fcff0d86e3735e0552a6c1b2c101 964 minisat2_070721-6.dsc 1fb3777b65e55b34ecc05bcec298f9fdbadc1020 7599 minisat2_070721-6.diff.gz 47612cfa6384b4dd4b67f05bc11ecc0db357217d 42646 minisat2_070721-6_s390.deb Checksums-Sha256: 406ec21e23fc5a084049912056007af9fc3d32b3e4bf32501cfa6421cdb7edbf 964 minisat2_070721-6.dsc 5d14e840605bba20e05ed54b60f8a34fe5d089d8b4f688be02f3c7e4f17c3bae 7599 minisat2_070721-6.diff.gz 1b99fc495e96e3f403551761dd70759eacbd7b26aadeefd7f6968fc38efe6c65 42646 minisat2_070721-6_s390.deb Files: 741a3b18feb2191e80c90b19dba531b9 964 science extra minisat2_070721-6.dsc 775d56abe85cdb701ac187da3d6d209b 7599 science extra minisat2_070721-6.diff.gz c0086f8575a059d0ea9a92def4e3f827 42646 science extra minisat2_070721-6_s390.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkkEx7gACgkQvx6dH3bVKsQTzQCgm6zhAwL57uruwLt440WXQHFY bXIAn3mrKMsXzGHkOTTovoYsu5MB+P8v =N/Eq -----END PGP SIGNATURE----- Accepted: minisat2_070721-6.diff.gz to pool/main/m/minisat2/minisat2_070721-6.diff.gz minisat2_070721-6.dsc to pool/main/m/minisat2/minisat2_070721-6.dsc minisat2_070721-6_s390.deb to pool/main/m/minisat2/minisat2_070721-6_s390.deb
