Your message dated Tue, 29 Mar 2011 13:03:45 +0000
with message-id <[email protected]>
and subject line Bug#607943: fixed in picosat 936-2
has caused the Debian Bug report #607943,
regarding picosat: Please build library with trace support
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 [email protected]
immediately.)
--
607943: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=607943
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: picosat
Version: 936-1
Severity: wishlist
It would be great if the library were built with trace support
(in experimental), as this allows better use of picosat for
solving dependency problems in apt, which is an interesting
thing to do. The overhead of building with trace support
enabled seems minimal in my test cases.
Compare the following output:
-- Without trace:
jak@jak-thinkpad:~$ LD_PRELOAD="" apt-get -t experimental -s install
libgtkmm-2.4-1c2a:amd64
E: Cannot install: libgtkmm-2.4-1c2a (1:2.22.0-1)
-- With trace:
jak@jak-thinkpad:~$ apt-get -t experimental -s install libgtkmm-2.4-1c2a:amd64
E: Unsolvable:
libgtkmm-2.4-1c2a:amd64 Depends on libatkmm-1.6-1 [ amd64 ] < none > ( none )
(>= 2.22.1)
-- System Information:
Debian Release: 6.0
APT prefers unstable
APT policy: (500, 'unstable'), (350, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-5-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages picosat depends on:
ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib
picosat recommends no packages.
picosat suggests no packages.
-- no debconf information
--
Julian Andres Klode - Debian Developer, Ubuntu Member
See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/.
pgpKKpyB1O0gO.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: picosat
Source-Version: 936-2
We believe that the bug you reported is fixed in the latest version of
picosat, which is due to be installed in the Debian FTP archive:
picosat_936-2.debian.tar.gz
to main/p/picosat/picosat_936-2.debian.tar.gz
picosat_936-2.dsc
to main/p/picosat/picosat_936-2.dsc
picosat_936-2_amd64.deb
to main/p/picosat/picosat_936-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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <[email protected]> (supplier of updated picosat 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 29 Mar 2011 14:24:29 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 936-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
picosat - SAT solver with proof and core support
Closes: 607943
Changes:
picosat (936-2) unstable; urgency=low
.
* Also build library with trace support as libpicosat-trace.so
(closes: #607943).
Checksums-Sha1:
ab2b14816ec3e2709ff08a3f3d67a4f4263c1f2a 995 picosat_936-2.dsc
513ce750f48a5302dfe7ce51649c453d18ed8a1b 5274 picosat_936-2.debian.tar.gz
f927c50aee132e9a8c7058611af7d5c462885075 261532 picosat_936-2_amd64.deb
Checksums-Sha256:
adaea44e744806ca7fa96fc50c92799bf25c58b25a04c9bef54e3fade5b62461 995
picosat_936-2.dsc
36755278796f2aee53b58ff3e389a461f68f0e221f38ed66792421dda5424b89 5274
picosat_936-2.debian.tar.gz
1095eb5c905e7402a0a697559d16b92c2e4e3abe541a72a5466fcf1816d59024 261532
picosat_936-2_amd64.deb
Files:
34a01ef5457a86729fd7604f83c7c85a 995 science extra picosat_936-2.dsc
8c02432e68f73638fdb7f4490f09d214 5274 science extra picosat_936-2.debian.tar.gz
3b973e2e219914919275d04bf06230ff 261532 science extra picosat_936-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2R1c4ACgkQvx6dH3bVKsQx7gCeKUbs68puTOjusCQ80qeJGEDE
6ksAnRR6WWeoG8QYM9ggWIkBucJ9YvcE
=RuP+
-----END PGP SIGNATURE-----
--- End Message ---
