Your message dated Sat, 03 Mar 2012 23:23:12 +0000
with message-id <[email protected]>
and subject line Bug#635114: fixed in picosat 936-4
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-4
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-4.debian.tar.gz
to main/p/picosat/picosat_936-4.debian.tar.gz
picosat_936-4.dsc
to main/p/picosat/picosat_936-4.dsc
picosat_936-4_i386.deb
to main/p/picosat/picosat_936-4_i386.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: Sat, 03 Mar 2012 22:55:43 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 936-4
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-4) unstable; urgency=low
.
* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5
Checksums-Sha1:
c8dc5f16d74d27681761735d7eea97e2299b9265 1037 picosat_936-4.dsc
7af946eaaa1abd60ab06d00eb17ac7a3b4d750a6 5941 picosat_936-4.debian.tar.gz
f1e1cf7fa3eb938193f00ab24ffe9ec7642bcd64 268054 picosat_936-4_i386.deb
Checksums-Sha256:
758fe80556844a555a3b15eea0b5fbaa5f7cdd4f69755b3eb2f3f3291f21ba76 1037
picosat_936-4.dsc
1bdea92f52b730047bfe1d8e8632c868cb68c20aba5aebf930bd9ef11d9de081 5941
picosat_936-4.debian.tar.gz
2ec10c97a8f7ecb08514823d54ff049db94543b6a9935e40e197e8a719f74d58 268054
picosat_936-4_i386.deb
Files:
55a6d2398bbc6673d06514944a2f30cf 1037 science extra picosat_936-4.dsc
c89c2278aa1967a41c2ebc914e6ce417 5941 science extra picosat_936-4.debian.tar.gz
677dcc5d5fc35fc367b02d0017c1aaf9 268054 science extra picosat_936-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9SpDgACgkQvx6dH3bVKsRyXgCgqjtVN7ICOpn4ytyVDcUhP9K/
mPsAnRc8XM5EBJrg/7KaI9QC8ma58RRN
=4dqP
-----END PGP SIGNATURE-----
--- End Message ---
