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

Bug#484989: marked as done (ITP: minisat2 -- fast and lightweight SAT solver)

Your message dated Sun, 15 Jun 2008 13:18:22 +0000
with message-id <E1K7s7i-00067S-NY@ries.debian.org>
and subject line Bug#484989: fixed in minisat2 070721-1
has caused the Debian Bug report #484989,
regarding ITP: minisat2 -- fast and lightweight 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 owner@bugs.debian.org
immediately.)


-- 
484989: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484989
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     : minisat2
* URL              : http://minisat.se/
* License          : MIT
  Description      : fast and lightweight SAT solver
 MiniSat is a minimalistic, open-source SAT solver, developed to help
 researchers and developers alike to get started on SAT. Winning all the
 industrial categories of the SAT 2005 competition, MiniSat is a good starting
 point both for future research in SAT, and for applications using SAT.

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

Best,
Michael

Attachment: pgphhZ5V5OC3L.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: minisat2
Source-Version: 070721-1

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-1.diff.gz
  to pool/main/m/minisat2/minisat2_070721-1.diff.gz
minisat2_070721-1.dsc
  to pool/main/m/minisat2/minisat2_070721-1.dsc
minisat2_070721-1_i386.deb
  to pool/main/m/minisat2/minisat2_070721-1_i386.deb
minisat2_070721.orig.tar.gz
  to pool/main/m/minisat2/minisat2_070721.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 484989@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 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 ftpmaster@debian.org)


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

Format: 1.8
Date: Sat,  7 Jun 2008 17:10:44 +0200
Source: minisat2
Binary: minisat2
Architecture: source i386
Version: 070721-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 minisat2   - Fast and lightweight SAT solver
Closes: 484989
Changes: 
 minisat2 (070721-1) unstable; urgency=low
 .
   * Initial release (Closes: #484989)
Checksums-Sha1: 
 6fea321a26646e4c45c6f9a2c84798b038ffd969 951 minisat2_070721-1.dsc
 1a5437469e90a691ee0c4a374f6a22fbc8e8f6a4 31937 minisat2_070721.orig.tar.gz
 8292a67e410a16e73918f33af4c49dda3152a7ce 3386 minisat2_070721-1.diff.gz
 1602601f587c247b4bc75cd0b03e02774d708bed 36504 minisat2_070721-1_i386.deb
Checksums-Sha256: 
 9e6c6887de9fdaeb30dcf5f6c817f6c796689a8de7dcb62ce1081838d561e73d 951 minisat2_070721-1.dsc
 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz
 511925e1b7227ffdc8ba8712fd2363c322ba24a303542897b7bb2a000d97d051 3386 minisat2_070721-1.diff.gz
 cc4e2cebd5da8d0b9b30f3ee2f00e50784cefe918740ceb90e6e51f8280b49af 36504 minisat2_070721-1_i386.deb
Files: 
 c1495fe298b3543753315cac62cba752 951 science extra minisat2_070721-1.dsc
 12c92a89e69b5a2d651251c7587a7fc8 31937 science extra minisat2_070721.orig.tar.gz
 fbc9b959da2b44550b484c9adf29fe9c 3386 science extra minisat2_070721-1.diff.gz
 8605fa454b5f8277e6c0ea92618e1d76 36504 science extra minisat2_070721-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAkhLnB0ACgkQvx6dH3bVKsRlYwCgxhWd0KoOmtrsS8On8krGfwN4
pyQAoIHgAaygiuvlXsqiGdQNWqdeQo3y
=mUbX
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: