Your message dated Tue, 09 Aug 2011 23:17:59 +0000
with message-id <[email protected]>
and subject line Bug#635114: fixed in picosat 936-3
has caused the Debian Bug report #635114,
regarding What about picomus binary?
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.)
--
635114: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=635114
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: picosat
Version: 936-2
Severity: normal
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
http://fmv.jku.at/picosat/ mentions that version 936 contains a picomus
binary to calculate the minimal unsatisfiable core, yet it is not
included in the Debian package.
Might it be redundant, because "picosat.trace -c <file>" does the same?
In that case, that could maybe be documented in /usr/share/doc/picosat
somewhere.
Or if it is not redundant, please include it in the package.
Thanks,
Joachim
- -- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (101, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.39-2-amd64 (SMP w/2 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.13-10 Embedded GNU C Library: Shared lib
picosat recommends no packages.
picosat suggests no packages.
- -- no debconf information
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4pyT4ACgkQ9ijrk0dDIGw9eQCgv0i+aSaYSa+5KWKIqphdHMJR
I88AnjTgtUHDZxYXqSXm/+6ZEw0gCoZQ
=IJEI
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: picosat
Source-Version: 936-3
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-3.debian.tar.gz
to main/p/picosat/picosat_936-3.debian.tar.gz
picosat_936-3.dsc
to main/p/picosat/picosat_936-3.dsc
picosat_936-3_amd64.deb
to main/p/picosat/picosat_936-3_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: Wed, 10 Aug 2011 01:03:57 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 936-3
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: 635114
Changes:
picosat (936-3) unstable; urgency=low
.
* Ship picomus binary for computing minimal unsatisfiying cores
(closes: #635114)
* Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1:
a2ff274a7db49b0469a8efeb396355aaf3f2d1f2 995 picosat_936-3.dsc
02727edc2cb9dd9ecd3d3318b5b0d3bc77c09f1b 5459 picosat_936-3.debian.tar.gz
1e7f7e63a53dddab7274795ab3cb901ccc634807 258532 picosat_936-3_amd64.deb
Checksums-Sha256:
cbc6a14a2449af5c6d4d4df04d745545215e7ac099e310d74eb7aaf24ce20f59 995
picosat_936-3.dsc
6c6741fa768834e9480afbb9483340695d10cfd67b1fef2e2db44fbc54f642d1 5459
picosat_936-3.debian.tar.gz
da357b527dad95494be29b550eeef13ace0ef09cda49d645b5f4806460889017 258532
picosat_936-3_amd64.deb
Files:
68a5db2e16a7071fcb02b43152c7cb04 995 science extra picosat_936-3.dsc
d748fb3b95bf0f2af83c9dc6fec4b1ee 5459 science extra picosat_936-3.debian.tar.gz
c543a2e6376106e725a94eb4c81b8cb4 258532 science extra picosat_936-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk5Bv34ACgkQvx6dH3bVKsTIZQCg6vg64HHVs0lvktjQu6NcSRHP
kGMAn3qRPnRegiBZ5oxB86RUARQ2F7Tu
=fkDa
-----END PGP SIGNATURE-----
--- End Message ---
