Your message dated Tue, 09 Aug 2011 23:02:53 +0000
with message-id <[email protected]>
and subject line Bug#636784: fixed in sat4j 2.3.0-2
has caused the Debian Bug report #636784,
regarding Please include MAX-SAT solver
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.)
--
636784: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636784
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sat4j
Version: 2.3.0-1
Severity: wishlist
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
for the SAT-Britney tool I am working on right now I need good, reliable
and free MAX-SAT solvers in Debian. I managed to get the maxsat
extension on
http://forge.ow2.org/project/showfiles.php?group_id=228&release_id=4551
working and would like to see this packaged. Especally as DSA prefers to
install packaged software on the debian machines.
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)
iEYEARECAAYFAk48Zd0ACgkQ9ijrk0dDIGytjACghrlgiKdwhgTwOPFBSClxpc40
RJoAnRN/Y/2HYD0VvZRRuL8/Ot89cEoQ
=sb4v
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.3.0-2
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.0-2.debian.tar.gz
to main/s/sat4j/sat4j_2.3.0-2.debian.tar.gz
sat4j_2.3.0-2.dsc
to main/s/sat4j/sat4j_2.3.0-2.dsc
sat4j_2.3.0-2_all.deb
to main/s/sat4j/sat4j_2.3.0-2_all.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 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: Wed, 10 Aug 2011 00:35:50 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.3.0-2
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: 636784
Changes:
sat4j (2.3.0-2) unstable; urgency=low
.
* Include maxsat solver (closes: #636784)
Checksums-Sha1:
06d6e687ec3dca62124a860c0f1632cfe1fbe08a 1140 sat4j_2.3.0-2.dsc
45c38b0148eb7ead80ff18771866e95cf08e258a 21178 sat4j_2.3.0-2.debian.tar.gz
d7cdc45cd3a3cae4c773e01e4afc9650d763c446 937172 sat4j_2.3.0-2_all.deb
Checksums-Sha256:
78ac248b0128d119ca83eed938c0ef82010a711481ddeec2ff50fdaa7b8db28e 1140
sat4j_2.3.0-2.dsc
91276e74f523f5773f51466dc63d7e89c829d5b517b76dfa87e4a60abd296255 21178
sat4j_2.3.0-2.debian.tar.gz
c36bbbba38a2f057a391ba2f5cc20ba942f66a5651342dc199ec9be96b6fa1cc 937172
sat4j_2.3.0-2_all.deb
Files:
083c4eabb961956093acbbfb02261fa1 1140 science optional sat4j_2.3.0-2.dsc
dc9c710cb99222524b02bbd29df8fd9e 21178 science optional
sat4j_2.3.0-2.debian.tar.gz
f36b3a72ea6ceede5264552d4f1a2c1e 937172 science optional sat4j_2.3.0-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk5BuccACgkQvx6dH3bVKsS+SQCfcNmVOuSap4yXtsONSW+JSFwj
YN0AnRYx1nx21sZ9sRDooQNG428axYxL
=wakO
-----END PGP SIGNATURE-----
--- End Message ---
