-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 17 Jun 2008 21:51:01 +0000 Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-3 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: 486602 Changes: minisat2 (070721-3) unstable; urgency=low . * Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined (fixes FTBFS) * Improved description of package (Closes: #486602) Checksums-Sha1: cf089dc0d7bb7eb811c630265668b12f4b937a45 961 minisat2_070721-3.dsc 19def9727f3a642f3f520b22f7c2c21194ec1643 3887 minisat2_070721-3.diff.gz b7c4d377438cb726a15b0da5e3e61e5afe915a58 36834 minisat2_070721-3_i386.deb Checksums-Sha256: c3bc6e92616892bc765ceeed8147393115b2a433720d4a98fb3ebbc3ad8fe7c8 961 minisat2_070721-3.dsc b5afb71cae2cb897b1bd75b09b818dbb2ca4f8ea7f197d03be1915091c572081 3887 minisat2_070721-3.diff.gz 461f2527408e3ceda52964becc14e892a5bcf7984a8e9f59930ab278a2453718 36834 minisat2_070721-3_i386.deb Files: f961674eb751c7c239966b9b5acd9976 961 science extra minisat2_070721-3.dsc 7394c201c98448715b0895f03bcc2f78 3887 science extra minisat2_070721-3.diff.gz 34da952ee1eee6a5630124868310e5ec 36834 science extra minisat2_070721-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkhYM9sACgkQvx6dH3bVKsSbVACfQ6FTJ5lHm2SYXKbQPLjfIzHO u68AoLr5o/4Qzen7MzXVMtNLulmQfz1E =UK62 -----END PGP SIGNATURE----- Accepted: minisat2_070721-3.diff.gz to pool/main/m/minisat2/minisat2_070721-3.diff.gz minisat2_070721-3.dsc to pool/main/m/minisat2/minisat2_070721-3.dsc minisat2_070721-3_i386.deb to pool/main/m/minisat2/minisat2_070721-3_i386.deb