Your message dated Sat, 01 Mar 2008 00:07:53 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#460813: fixed in p9m4 0.5.dfsg-1
has caused the Debian Bug report #460813,
regarding ITP: p9m4 -- GUI for Prover9 and Mace4
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.)
--
460813: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=460813
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Peter Collingbourne <[EMAIL PROTECTED]>
* Package name : p9m4
Version : 0.5
Upstream Author : William McCune <[EMAIL PROTECTED]>
* URL : http://www.cs.unm.edu/~mccune/mace4/
* License : GPL
Programming Lang: Python
Description : GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running
the Prover9 theorem prover and the Mace4 countermodel generator
along with a number of sample input files.
-- System Information:
Debian Release: 4.0
APT prefers stable
APT policy: (500, 'stable')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.18-5-686-bigmem
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
--- End Message ---
--- Begin Message ---
Source: p9m4
Source-Version: 0.5.dfsg-1
We believe that the bug you reported is fixed in the latest version of
p9m4, which is due to be installed in the Debian FTP archive:
p9m4_0.5.dfsg-1.diff.gz
to pool/main/p/p9m4/p9m4_0.5.dfsg-1.diff.gz
p9m4_0.5.dfsg-1.dsc
to pool/main/p/p9m4/p9m4_0.5.dfsg-1.dsc
p9m4_0.5.dfsg.orig.tar.gz
to pool/main/p/p9m4/p9m4_0.5.dfsg.orig.tar.gz
prover9-mace4_0.5.dfsg-1_all.deb
to pool/main/p/p9m4/prover9-mace4_0.5.dfsg-1_all.deb
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.
Peter Collingbourne <[EMAIL PROTECTED]> (supplier of updated p9m4 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.7
Date: Tue, 15 Jan 2008 01:35:54 +0000
Source: p9m4
Binary: prover9-mace4
Architecture: source all
Version: 0.5.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <[EMAIL PROTECTED]>
Changed-By: Peter Collingbourne <[EMAIL PROTECTED]>
Description:
prover9-mace4 - GUI for Prover9 and Mace4
Closes: 460813
Changes:
p9m4 (0.5.dfsg-1) unstable; urgency=low
.
* Initial release (closes: #460813)
* my_setup.py, partition_input.py: removed Python-2.5isms from code
* debian/setup.py: wrote distutils script
* files.py, prover9-mace4.py: point to correct file locations
Files:
e262887e46f96c66fb9c50d4e13fb915 922 math optional p9m4_0.5.dfsg-1.dsc
04afdf4e290e8a9100ac69893a561e53 88683 math optional p9m4_0.5.dfsg.orig.tar.gz
a1353ce9a2dc80f5431167118b16faa1 3297 math optional p9m4_0.5.dfsg-1.diff.gz
59e0ded3bc82e67bb26d3d5a5bbc2201 67370 math optional
prover9-mace4_0.5.dfsg-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHyHOtBnqtBMk7/3kRAtUhAJ4zgz58QmgQWiGhAFLn6wSF07KoUgCgjCWO
+CMK3kx+/0w1OkdwVnZ1DzM=
=RJEt
-----END PGP SIGNATURE-----
--- End Message ---
