Accepted minisat2 070721-6 (source s390)
-----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