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