-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 07 Sep 2008 19:32:20 +0200 Source: minisat2 Binary: minisat2 Architecture: source s390 Version: 070721-4 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-4) unstable; urgency=low . * Added David A. Wheeler's nice intro to SAT solving Checksums-Sha1: 56aa2c89c7dcb742eadb1e222e2bb069fde891ad 964 minisat2_070721-4.dsc 149acf387ae311cdc09593a91b357d1fa366437f 7246 minisat2_070721-4.diff.gz f7fe77cc8e3e4ce4f0df5fdeed390d08d7049221 41978 minisat2_070721-4_s390.deb Checksums-Sha256: 1c522143bfaba1e4c4cc8d0fca007a0771936bf90b881a29b392c6c980e02c08 964 minisat2_070721-4.dsc fda2852b92600886fa2dabfaab24e84f8422ee3310870882b622b94d2936abe7 7246 minisat2_070721-4.diff.gz a29749727fe58204029352381b43dfdf494f09162e9d8176758d73ca06212412 41978 minisat2_070721-4_s390.deb Files: 073bdcaeab0ab72d7e44a880a2e8b80c 964 science extra minisat2_070721-4.dsc 342c40f9cb2fabb373c49d4237d97f54 7246 science extra minisat2_070721-4.diff.gz 2d285069ee3692fe4fcb1e62c0ba4bbc 41978 science extra minisat2_070721-4_s390.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkjEF6kACgkQvx6dH3bVKsQkuACgq5ocxTkXXx3bM8FUPC9+/uY5 ZHgAn3MsKSbD7gxQtDLQE+fEjb4IQuh8 =C1kN -----END PGP SIGNATURE----- Accepted: minisat2_070721-4.diff.gz to pool/main/m/minisat2/minisat2_070721-4.diff.gz minisat2_070721-4.dsc to pool/main/m/minisat2/minisat2_070721-4.dsc minisat2_070721-4_s390.deb to pool/main/m/minisat2/minisat2_070721-4_s390.deb
