Your message dated Sun, 02 Dec 2012 12:02:36 +0000
with message-id <[email protected]>
and subject line Bug#694592: fixed in picosat 953-1
has caused the Debian Bug report #694592,
regarding picosat: New upstream release 953 available
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.)
--
694592: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694592
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: picosat
Version: 936-4
Severity: wishlist
Tags: upstream
picosat 953 with new tools is available here: http://fmv.jku.at/picosat/
Cheers,
TK
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--- End Message ---
--- Begin Message ---
Source: picosat
Source-Version: 953-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.
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, 02 Dec 2012 11:32:09 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 953-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: 694592
Changes:
picosat (953-1) unstable; urgency=low
.
* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5
Checksums-Sha1:
3d109cc61074d4170a213744f6fbb7029f58b2da 1037 picosat_953-1.dsc
6040155c929e50cdaaf95c76e37624c41cc9bf0f 62810 picosat_953.orig.tar.gz
3eeb47acad9e3f37be679c4d01a4d85a4e72495b 5818 picosat_953-1.debian.tar.gz
09f5e5ea7d3d7def762882857cb0ca3a4b931a7b 333436 picosat_953-1_i386.deb
Checksums-Sha256:
ff6c2e23a68c1990ce2a635285a506f418644c895369544b331802cc714c1a09 1037
picosat_953-1.dsc
bf26f7f3b10ef196ebd9b4a8c944c58fa9d76fd937b3b2cf1468c365231a02bb 62810
picosat_953.orig.tar.gz
f240e58a17c0874af14bc98cf35d81b1df6414ec0ca904acc6f83da7104266aa 5818
picosat_953-1.debian.tar.gz
0d02e176b9ca99e62bf2a45b9d58f0e643b343b2cb50de396a29d8a0d5ddff85 333436
picosat_953-1_i386.deb
Files:
1e5bbd0a7a00af19db8073aab6d3ae87 1037 science extra picosat_953-1.dsc
490d75626689621559b868c3ce76f7b2 62810 science extra picosat_953.orig.tar.gz
5c8a1ff131eff18aa2738c6c73a0acb6 5818 science extra picosat_953-1.debian.tar.gz
2551d8b3b1ed8aef01b765064c7bd28b 333436 science extra picosat_953-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlC7QUcACgkQvx6dH3bVKsR/YACg5UaH9P5hbVx8m1JysMWygSPd
xcwAnRBxPtuVv1sW/PwWGUFNIMoBHkEE
=5XO7
-----END PGP SIGNATURE-----
--- End Message ---
