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

Bug#460813: marked as done (ITP: p9m4 -- GUI for Prover9 and Mace4)

Your message dated Sat, 01 Mar 2008 00:07:53 +0000
with message-id <E1JVFGb-000767-7G@ries.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
460813: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=460813
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Peter Collingbourne <pcc03@doc.ic.ac.uk>


* Package name    : p9m4
  Version         : 0.5
  Upstream Author : William McCune <mccune@cs.unm.edu>
* 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 460813@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Peter Collingbourne <pcc03@doc.ic.ac.uk> (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 ftpmaster@debian.org)


-----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 <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk>
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 ---
Reply to: