-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 25 Jul 2010 22:02:54 +0200 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 1:2.2.0-2 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: 590254 590255 Changes: minisat2 (1:2.2.0-2) unstable; urgency=low . * Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254). * Fix FTBFS due to undefined memUsedPeak (closes: #590255). Checksums-Sha1: 999196e66c9079a0c9f1ce81886f84bf75ad8605 1110 minisat2_2.2.0-2.dsc b1e8925eebafde4cf86c6cc4ca66ae5903981d5e 9783 minisat2_2.2.0-2.debian.tar.gz facae7f3829414a7cb4275496e2a2fbc7c2986d4 109824 minisat2_2.2.0-2_amd64.deb Checksums-Sha256: f43058970529d7d845cf63f1abde54453f13ebb63e63261bf2f14dc11f0f8a45 1110 minisat2_2.2.0-2.dsc e5844690df9282c65e2c549ea20b714812cc21a4d612789bff1465a9ac721204 9783 minisat2_2.2.0-2.debian.tar.gz 666eec0e3167c9e9c83c6917f224e24a7670433adf91ab3281cc4f61dd34a266 109824 minisat2_2.2.0-2_amd64.deb Files: 0dc18e76a05fe6a91264fc844b8a007d 1110 science extra minisat2_2.2.0-2.dsc 4c696edecd19351f963e1e7ce484aaa9 9783 science extra minisat2_2.2.0-2.debian.tar.gz 7b55df612e88bf8bc2ad4f7cacde2db0 109824 science extra minisat2_2.2.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxMnKkACgkQvx6dH3bVKsQTBwCaAgIPTzeXIBEe7tiyVX3q/noi TOkAoNqm8QgM2bTyzukwPOoDeSm9HIP+ =0xOK -----END PGP SIGNATURE----- Accepted: minisat2_2.2.0-2.debian.tar.gz to main/m/minisat2/minisat2_2.2.0-2.debian.tar.gz minisat2_2.2.0-2.dsc to main/m/minisat2/minisat2_2.2.0-2.dsc minisat2_2.2.0-2_amd64.deb to main/m/minisat2/minisat2_2.2.0-2_amd64.deb
