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

Bug#485117: marked as done (ITP: picosat -- SAT solver with proof and core support)

Your message dated Sun, 15 Jun 2008 13:28:24 +0000
with message-id <E1K7sHQ-0006rK-MM@ries.debian.org>
and subject line Bug#485117: fixed in picosat 632-1
has caused the Debian Bug report #485117,
regarding ITP: picosat -- SAT solver with proof and core support
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.)


-- 
485117: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=485117
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     : picosat
* URL              : http://fmv.jku.at/picosat/
* License          : MIT
  Description      : SAT solver with proof and core support
 PicoSAT is a SAT solver turned out to be faster on industrial instances than
 MiniSAT 2.0 and also can generate proofs and cores in memory.

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

Best,
Michael

Attachment: pgp5pyXAFUSlV.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: picosat
Source-Version: 632-1

We believe that the bug you reported is fixed in the latest version of
picosat, which is due to be installed in the Debian FTP archive:

picosat_632-1.diff.gz
  to pool/main/p/picosat/picosat_632-1.diff.gz
picosat_632-1.dsc
  to pool/main/p/picosat/picosat_632-1.dsc
picosat_632-1_i386.deb
  to pool/main/p/picosat/picosat_632-1_i386.deb
picosat_632.orig.tar.gz
  to pool/main/p/picosat/picosat_632.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 485117@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 picosat 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: Sun,  8 Jun 2008 13:08:48 +0200
Source: picosat
Binary: picosat
Architecture: source i386
Version: 632-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 picosat    - SAT solver with proof and core support
Closes: 485117
Changes: 
 picosat (632-1) unstable; urgency=low
 .
   * Initial release (Closes: #485117)
Checksums-Sha1: 
 c9b6a4d8a7040075b85634aa526840215a126255 922 picosat_632-1.dsc
 29291363141cdf019361499042975e4ec5999aaa 30714 picosat_632.orig.tar.gz
 206118342a87375b8047c03a04b99a3242e42dd8 3016 picosat_632-1.diff.gz
 9135d003a88db72616925087328249ddc3ae02d0 24812 picosat_632-1_i386.deb
Checksums-Sha256: 
 30d8b31a4ed9972c282858887fc437c6a437587c94fe92ff10553ce435b4039f 922 picosat_632-1.dsc
 c1b341f7ad0a6aea9117de5b228e964c485e7370d1e7e0f8416c3ed88be0c910 30714 picosat_632.orig.tar.gz
 0d0ff8ee17d6e15255782a9d0f36a4707bdac9aea6426a980c23fdd222b900ef 3016 picosat_632-1.diff.gz
 1821f685cd9c3de7207b5ad07dbd0897cc70dbe157a9051018be9cf40c6c68df 24812 picosat_632-1_i386.deb
Files: 
 cc35c6fee8f95471d88664c9840047dd 922 science extra picosat_632-1.dsc
 8265c63c543de18dc30614b8bf3484d7 30714 science extra picosat_632.orig.tar.gz
 13639ff272fab8412fb262db54166da7 3016 science extra picosat_632-1.diff.gz
 10dd14041d88a4988323cfe4042490b7 24812 science extra picosat_632-1_i386.deb

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

iEYEARECAAYFAkhLxNQACgkQvx6dH3bVKsQifwCgxWhq3sGXIX04RKow7v2F4snb
7+wAnia4lAEPdIC3678v1+GiRMKk4Pjw
=+vR9
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: