-----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