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

Bug#437944: marked as done (ITP: prover9-manual -- documentation for Prover9 and associated programs)

Your message dated Mon, 25 Feb 2008 15:55:06 +0000
with message-id <E1JTffW-0000nx-0h@ries.debian.org>
and subject line Bug#437944: fixed in prover9-manual 0.0.200712-1
has caused the Debian Bug report #437944,
regarding ITP: prover9-manual -- documentation for Prover9 and associated programs
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.)


-- 
437944: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=437944
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    : prover9-doc
  Version         : 0.0.200708
  Upstream Author : William McCune <mccune@cs.unm.edu>
* URL             : http://www.cs.unm.edu/~mccune/mace4/
* License         : GPL
  Programming Lang: n/a
  Description     : documentation for Prover9 and associated programs

 This is the documentation package for prover9 etc., which has its own
 ITP located at bug #437936.  It is being packaged separately because
 upstream distributes the documentation separately from the applications.

 Prover9 is an automated theorem prover for first-order and equational
 logic. It is a successor of the Otter prover.  Prover9 uses the
 inference techniques of ordered resolution and paramodulation with
 literal selection.
 .
 This package provides documentation for Prover9, Mace4 and other
 associated programs.

-- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)

Kernel: Linux 2.6.15-1-686
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

--- End Message ---
--- Begin Message --- 
Source: prover9-manual
Source-Version: 0.0.200712-1

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

prover9-doc_0.0.200712-1_all.deb
  to pool/main/p/prover9-manual/prover9-doc_0.0.200712-1_all.deb
prover9-manual_0.0.200712-1.diff.gz
  to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.diff.gz
prover9-manual_0.0.200712-1.dsc
  to pool/main/p/prover9-manual/prover9-manual_0.0.200712-1.dsc
prover9-manual_0.0.200712.orig.tar.gz
  to pool/main/p/prover9-manual/prover9-manual_0.0.200712.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 437944@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 prover9-manual 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: Mon, 14 Jan 2008 20:24:28 +0000
Source: prover9-manual
Binary: prover9-doc
Architecture: source all
Version: 0.0.200712-1
Distribution: unstable
Urgency: low
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Changed-By: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Description: 
 prover9-doc - documentation for Prover9 and associated programs
Closes: 437944
Changes: 
 prover9-manual (0.0.200712-1) unstable; urgency=low
 .
   * Initial release (Closes: #437944)
   * syntax.html: replaced literal < and > symbols with entities in order to
     prevent htmldoc from failing
Files: 
 d274f392d2b00df8850420115f2ae2ad 757 doc optional prover9-manual_0.0.200712-1.dsc
 452b4888813eca1e6219d8af142c94a2 871950 doc optional prover9-manual_0.0.200712.orig.tar.gz
 a6b1f92c48e7d5948a849c40311fa732 3611 doc optional prover9-manual_0.0.200712-1.diff.gz
 31ae6471f25287f022296bc616688ad2 804754 doc optional prover9-doc_0.0.200712-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHp402BnqtBMk7/3kRAsyvAJ9fBSBizxFAU/zm2CIppJ1t8FXRYQCggH8V
EZzodvCKl9Ku2b8EfIeUjg0=
=WLIC
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: