Your message dated Sun, 15 Jun 2008 13:28:24 +0000 with message-id <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] immediately.) -- 485117: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=485117 Debian Bug Tracking System Contact [EMAIL PROTECTED] with problems
--- Begin Message ---Package: wnpp Severity: wishlist Owner: Michael Tautschnig <[EMAIL PROTECTED]> * 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, Michaelpgpw7Uk1tDA2c.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 [EMAIL PROTECTED], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Michael Tautschnig <[EMAIL PROTECTED]> (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 [EMAIL PROTECTED]) -----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 <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig <[EMAIL PROTECTED]> 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 ---