Your message dated Sun, 04 Mar 2012 05:20:39 +0000
with message-id <[email protected]>
and subject line Bug#635357: fixed in sat4j 2.3.1-1
has caused the Debian Bug report #635357,
regarding Package is underdocumented
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.)
--
635357: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=635357
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sat4j
Version: 2.3.0-1
Severity: normal
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
I was exploring the sat4j package and found it hard to experiment, as
there is no documentation included, and the manpage is also not helpful.
E.g. the format of the input file is not described. If there is no
documentation available that can be included, at least add a link to
such documentation to the manpage and possibly a REAMDE.Debian file.
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 sat4j depends on:
ii default-jre [java6-runtime] 1:1.6-40 Standard Java or Java compatible R
ii jarwrapper 0.37 Run executable Java .jar files
ii openjdk-6-jre [java6-runtim 6b18-1.8.7-5 OpenJDK Java runtime, using Hotspo
ii sun-java5-jre [java5-runtim 1.5.0-17-0.1 Sun Java(TM) Runtime Environment (
ii sun-java6-jre [java6-runtim 6.26-1 Sun Java(TM) Runtime Environment (
sat4j recommends no packages.
sat4j suggests no packages.
- -- no debconf information
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4teHAACgkQ9ijrk0dDIGzoAQCg1aEolLiDElW2J71cHzUXVCBs
aqoAoKylw/FQ2dOsZL3NkrrVy7InGH3i
=T/ii
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.3.1-1
We believe that the bug you reported is fixed in the latest version of
sat4j, which is due to be installed in the Debian FTP archive:
sat4j_2.3.1-1.debian.tar.gz
to main/s/sat4j/sat4j_2.3.1-1.debian.tar.gz
sat4j_2.3.1-1.dsc
to main/s/sat4j/sat4j_2.3.1-1.dsc
sat4j_2.3.1-1_all.deb
to main/s/sat4j/sat4j_2.3.1-1_all.deb
sat4j_2.3.1.orig.tar.gz
to main/s/sat4j/sat4j_2.3.1.orig.tar.gz
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 sat4j 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, 04 Mar 2012 01:38:25 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 635357
Changes:
sat4j (2.3.1-1) unstable; urgency=low
.
* New upstream release
* Bumped standards version to 3.9.3 (no changes)
* Added link to existing (but CC-BY-NC-ND) documentation
(closes: #635357)
* No longer requires maxsat-as-patch
Checksums-Sha1:
e9c3d2c0bb397db1e9f32b34033c71584dc1ffbd 1184 sat4j_2.3.1-1.dsc
5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
6f43dbbaa540574763744ad4833fcf55ef4ff47b 11606 sat4j_2.3.1-1.debian.tar.gz
4460a18772fd54ceb01be3df13a9d6678454cee2 997618 sat4j_2.3.1-1_all.deb
Checksums-Sha256:
882047dd624e827a3a4fbb4c144530440fe6b4a8a6101e821a294da0bc52cc9c 1184
sat4j_2.3.1-1.dsc
0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474
sat4j_2.3.1.orig.tar.gz
67c1fc1b41ab2c0d524c64e101d72acd7e13092c7a060c8c7ce38a270e450a26 11606
sat4j_2.3.1-1.debian.tar.gz
138d58f257e62d05046d59388e4dc438f05b5509571003dc5acca323ab1ccab8 997618
sat4j_2.3.1-1_all.deb
Files:
9043f37a911fe5df2fe142fd8fd8c7c3 1184 science optional sat4j_2.3.1-1.dsc
79c952e6fb2b8f8236d5f7ea96360a17 13920474 science optional
sat4j_2.3.1.orig.tar.gz
ff0666d3cfbea2a25d515b19c650648b 11606 science optional
sat4j_2.3.1-1.debian.tar.gz
402ac5ce0271b698ce925cf5b6bec280 997618 science optional sat4j_2.3.1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9S+skACgkQvx6dH3bVKsQKhgCfRW0ezNTlHpQvFuMgW93nT3Ec
crgAn2YdqqfPnOvkDpS658VMkul6hTU7
=qwhe
-----END PGP SIGNATURE-----
--- End Message ---
