Accepted minisat2 1:2.2.0-2 (source amd64)
-----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