Your message dated Sun, 26 Oct 2008 21:02:39 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#501983: fixed in minisat2 070721-6
has caused the Debian Bug report #501983,
regarding please complete the manpage of minisat2
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.)
--
501983: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=501983
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: minisat2
Version: 070721-5
Severity: minor
Please complete the manpage of minisat2, in particular the DESCRIPTION
and the various options that are currently undocumented. Also, please
document the meaning of the exit codes. For instance, I just got for
a satisfiable formula (that was found satisfiable by minisat2) the exit
code of 10. What does this mean?
Thanks -Ralf.
-- System Information:
Debian Release: lenny/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL
set to en_US.utf8)
Shell: /bin/sh linked to /bin/bash
Versions of packages minisat2 depends on:
ii libc6 2.7-13 GNU C Library: Shared libraries
ii libgcc1 1:4.3.2-1 GCC support library
ii libstdc++6 4.3.2-1 The GNU Standard C++ Library v3
ii zlib1g 1:1.2.3.3.dfsg-12 compression library - runtime
minisat2 recommends no packages.
minisat2 suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: minisat2
Source-Version: 070721-6
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_070721-6.diff.gz
to pool/main/m/minisat2/minisat2_070721-6.diff.gz
minisat2_070721-6.dsc
to pool/main/m/minisat2/minisat2_070721-6.dsc
minisat2_070721-6_s390.deb
to pool/main/m/minisat2/minisat2_070721-6_s390.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 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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 26 Oct 2008 20:35:45 +0100
Source: minisat2
Binary: minisat2
Architecture: source s390
Version: 070721-6
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[EMAIL PROTECTED]>
Changed-By: Michael Tautschnig <[EMAIL PROTECTED]>
Description:
minisat2 - Fast and lightweight SAT solver
Closes: 501983
Changes:
minisat2 (070721-6) unstable; urgency=low
.
* Completed man page (Closes: #501983)
Checksums-Sha1:
d81d6b81d7e9fcff0d86e3735e0552a6c1b2c101 964 minisat2_070721-6.dsc
1fb3777b65e55b34ecc05bcec298f9fdbadc1020 7599 minisat2_070721-6.diff.gz
47612cfa6384b4dd4b67f05bc11ecc0db357217d 42646 minisat2_070721-6_s390.deb
Checksums-Sha256:
406ec21e23fc5a084049912056007af9fc3d32b3e4bf32501cfa6421cdb7edbf 964
minisat2_070721-6.dsc
5d14e840605bba20e05ed54b60f8a34fe5d089d8b4f688be02f3c7e4f17c3bae 7599
minisat2_070721-6.diff.gz
1b99fc495e96e3f403551761dd70759eacbd7b26aadeefd7f6968fc38efe6c65 42646
minisat2_070721-6_s390.deb
Files:
741a3b18feb2191e80c90b19dba531b9 964 science extra minisat2_070721-6.dsc
775d56abe85cdb701ac187da3d6d209b 7599 science extra minisat2_070721-6.diff.gz
c0086f8575a059d0ea9a92def4e3f827 42646 science extra minisat2_070721-6_s390.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkkEx7gACgkQvx6dH3bVKsQTzQCgm6zhAwL57uruwLt440WXQHFY
bXIAn3mrKMsXzGHkOTTovoYsu5MB+P8v
=N/Eq
-----END PGP SIGNATURE-----
--- End Message ---
