Accepted minisat2 070721-5 (source s390)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 07 Sep 2008 21:09:47 +0200
Source: minisat2
Binary: minisat2
Architecture: source s390
Version: 070721-5
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-5) unstable; urgency=low
.
* Also test for _FPU_GETCW being defined to fix FTBFS on alpha
Checksums-Sha1:
011786d59150b667f2a5ecd00cda771a7f904f99 964 minisat2_070721-5.dsc
de2b18945ba69a43301fb5ddb97975266ff404c0 7289 minisat2_070721-5.diff.gz
9c148808db4cbcb6535f5a2af9f8bfa7d62b4880 42020 minisat2_070721-5_s390.deb
Checksums-Sha256:
eaf68a51b78a6c28770482205ff3ede6aacade8be6741763e01468ff120e258e 964 minisat2_070721-5.dsc
597baca86db95a0cb4dc6f0af42f782b2cfb19c30fac926594e887a0afd914b0 7289 minisat2_070721-5.diff.gz
9a9906fe388670d846b70eab3d592c0018497f54f698b35933b14319e6b4d8c6 42020 minisat2_070721-5_s390.deb
Files:
d2c8f1d6c73498bc5647b6ece3da4cf3 964 science extra minisat2_070721-5.dsc
2a7f819a45432227bd99ecb396c5b6c2 7289 science extra minisat2_070721-5.diff.gz
ae4df43c8c73efde6fcef343dfb9dccd 42020 science extra minisat2_070721-5_s390.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkjEJzEACgkQvx6dH3bVKsQREACZAXlB8zF6nW2fdH00RoWWnxDf
fxYAn0JT5w6XqUv4sO9KdQZer74Ro/iA
=81kW
-----END PGP SIGNATURE-----
Accepted:
minisat2_070721-5.diff.gz
to pool/main/m/minisat2/minisat2_070721-5.diff.gz
minisat2_070721-5.dsc
to pool/main/m/minisat2/minisat2_070721-5.dsc
minisat2_070721-5_s390.deb
to pool/main/m/minisat2/minisat2_070721-5_s390.deb