Your message dated Sat, 03 Sep 2011 23:34:43 +0000
with message-id <[email protected]>
and subject line Bug#638217: fixed in minisat2 1:2.2.1-3
has caused the Debian Bug report #638217,
regarding minisat: outdated manual page
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.)
--
638217: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=638217
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: minisat
Version: 1:2.2.1-2
Most of the options that "minisat --help" outputs are not documented in
the manual page. Also, some of the options from the manual (e.g.
-verbosity) don't actually exist.
--
Jakub Wilk
--- End Message ---
--- Begin Message ---
Source: minisat2
Source-Version: 1:2.2.1-3
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.1-3.debian.tar.gz
to main/m/minisat2/minisat2_2.2.1-3.debian.tar.gz
minisat2_2.2.1-3.dsc
to main/m/minisat2/minisat2_2.2.1-3.dsc
minisat2_2.2.1-3_i386.deb
to main/m/minisat2/minisat2_2.2.1-3_i386.deb
minisat_2.2.1-3_i386.deb
to main/m/minisat2/minisat_2.2.1-3_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 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: Sat, 03 Sep 2011 21:03:43 +0100
Source: minisat2
Binary: minisat minisat2
Architecture: source i386
Version: 1:2.2.1-3
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
minisat - Fast and lightweight SAT solver
minisat2 - Transitional package for minisat
Closes: 638217
Changes:
minisat2 (1:2.2.1-3) unstable; urgency=low
.
* Updated man page (closes: #638217)
Checksums-Sha1:
e3f528659a059235b6adb17891db86ccfa87e50d 1135 minisat2_2.2.1-3.dsc
519c62879dafc04a3ee3d5854fe4d1915be3fd88 8611 minisat2_2.2.1-3.debian.tar.gz
ec75594dfd648f9e6018fa0c14078f81cbc6bfb2 129100 minisat_2.2.1-3_i386.deb
ed390f8f9630374058c20e3958266509669072a9 5032 minisat2_2.2.1-3_i386.deb
Checksums-Sha256:
1c1ce26f42ccbd6cc7fbb6ac8c4748212b50cf94495afcbc1fc1f36dea623395 1135
minisat2_2.2.1-3.dsc
14d9c7021fa364f03d20a13e03f03f248d769a04d421f7865c0090ea2a8594c7 8611
minisat2_2.2.1-3.debian.tar.gz
a898e76297107e0f4b2ed1ad42d1c9904a5c9d31fa86129a1d8cda1df29cb498 129100
minisat_2.2.1-3_i386.deb
b0aa7e1bab3178e43a62f189d608786c574a465df2d2a3493647f2019b70ccb9 5032
minisat2_2.2.1-3_i386.deb
Files:
4ed46d412e3be4cb87b3fe40e4ae55f6 1135 science extra minisat2_2.2.1-3.dsc
7267ca50b9a4e2b628fcd2e702a259c6 8611 science extra
minisat2_2.2.1-3.debian.tar.gz
0c43b9bfae39d78cb10c0ee34eb5dfa6 129100 science extra minisat_2.2.1-3_i386.deb
b6f0e89b47913ff810bf482421034508 5032 science extra minisat2_2.2.1-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk5iuEsACgkQvx6dH3bVKsTEbQCgyKrvQ1ifAcku3z+I8eudW2rZ
tKMAn0dSEcqjfhb2GNEmVEtcL+cKOiZB
=L9JJ
-----END PGP SIGNATURE-----
--- End Message ---
