[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#485127: marked as done (ITP: sat4j -- Efficient library of SAT solvers in Java)

Your message dated Sun, 10 Aug 2008 18:40:25 +0000
with message-id <E1KSFq5-0007Up-5H@ries.debian.org>
and subject line Bug#485127: fixed in sat4j 2.0.1-1
has caused the Debian Bug report #485127,
regarding ITP: sat4j -- Efficient library of SAT solvers in Java
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 owner@bugs.debian.org
immediately.)


-- 
485127: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=485127
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name     : sat4j
* URL              : http://www.sat4j.org/
* License          : LGPL
  Description      : Efficient library of SAT solvers in Java
 The aim of the SAT4J library is to provide an efficient library of SAT solvers
 in Java. Compared to the OpenSAT project, the SAT4J library targets first
 users of SAT "black boxes", willing to embed  SAT technologies into their
 application without worrying about the details. Since we use the library for
 our own research, it is also possible for SAT researchers to use it as a basis
 for their work.

I'm just about to prepare the package, so expect an upload shortly.

Best,
Michael

Attachment: pgphfYELiBswc.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: sat4j
Source-Version: 2.0.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.0.1-1.diff.gz
  to pool/contrib/s/sat4j/sat4j_2.0.1-1.diff.gz
sat4j_2.0.1-1.dsc
  to pool/contrib/s/sat4j/sat4j_2.0.1-1.dsc
sat4j_2.0.1-1_all.deb
  to pool/contrib/s/sat4j/sat4j_2.0.1-1_all.deb
sat4j_2.0.1.orig.tar.gz
  to pool/contrib/s/sat4j/sat4j_2.0.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 485127@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (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 ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 22 Jul 2008 09:27:20 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 sat4j      - Efficient library of SAT solvers in Java
Closes: 485127
Changes: 
 sat4j (2.0.1-1) unstable; urgency=low
 .
   * Initial release (Closes: #485127)
Checksums-Sha1: 
 68a06c38ad535f03d73a4379b2e875aad60d07e3 1085 sat4j_2.0.1-1.dsc
 68fd9ddaa1c8928603594df8b53335cc329c4bbc 146262 sat4j_2.0.1.orig.tar.gz
 18c0239d5bd52664ed8868a3a0eff2b67c86765f 10095 sat4j_2.0.1-1.diff.gz
 bad15e855d32453327dd98ff2a6e82b858c6ed29 223270 sat4j_2.0.1-1_all.deb
Checksums-Sha256: 
 652bd9aaee16da54adfc15daf5a6223fdd45b479fc02d93c965d76003240e328 1085 sat4j_2.0.1-1.dsc
 2c233bc11a016789198fde45f9d94fc2230deb4192079a5eb3b6a68a23b5c1b0 146262 sat4j_2.0.1.orig.tar.gz
 575a82c1b68febd4158216b4077f2a084065e95824a6cf1d24f4d12f9d8654ad 10095 sat4j_2.0.1-1.diff.gz
 384b15b08ea62011f67bbd2b20b03df921d21716c1cbbe41da9c673711cbe883 223270 sat4j_2.0.1-1_all.deb
Files: 
 bec617f31422beba8136ba82cdb70fbb 1085 contrib/science extra sat4j_2.0.1-1.dsc
 2ff9200b7b31af51eca09f5bfc1b16ad 146262 contrib/science extra sat4j_2.0.1.orig.tar.gz
 4b66bbac20a66c23db6a9ccedcb0e76d 10095 contrib/science extra sat4j_2.0.1-1.diff.gz
 8e1902f7b610326cd63b6e56be7452a4 223270 contrib/science extra sat4j_2.0.1-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkieB3sACgkQvx6dH3bVKsSlFACgvFk8apYFdMOF9LlFfjLk1/CY
kAQAn1UJSjmPXMKIAHPsVY+5xDcp77+M
=DoTa
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: