Your message dated Sun, 25 Jul 2010 20:50:06 +0000
with message-id <e1od898-0008oc...@franck.debian.org>
and subject line Bug#590255: fixed in minisat2 1:2.2.0-2
has caused the Debian Bug report #590255,
regarding minisat2: FTBFS on non-Linux architectures
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
590255: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=590255
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: minisat2
Version: 1:2.2.0-1
Severity: serious
Justification: FTBFS
User: debian-...@lists.debian.org
Usertags: kfreebsd
Hi,
your package no longer builds on kfreebsd-*:
| /build/buildd-minisat2_2.2.0-1-hurd-i386-OnLli_/minisat2-2.2.0/simp/Main.or:
In function `printStats(Minisat::Solver&)':
|
/build/buildd-minisat2_2.2.0-1-hurd-i386-OnLli_/minisat2-2.2.0/simp/Main.cc:41:
undefined reference to `Minisat::memUsedPeak()'
| collect2: ld returned 1 exit status
| make[1]: *** [minisat_release] Error 1
Full build logs:
https://buildd.debian.org/status/package.php?p=minisat2
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: minisat2
Source-Version: 1:2.2.0-2
We believe that the bug you reported is fixed in the latest version of
minisat2, which is due to be installed in the Debian FTP archive:
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
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 590...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated minisat2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----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 <m...@debian.org>
Changed-By: Michael Tautschnig <m...@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-----
--- End Message ---
