Debian Bug report logs - #681044
O: prover9-manual -- documentation for Prover9 and associated programs

Package: wnpp; Maintainer for wnpp is;

Reported by: Ricardo Mones <>

Date: Tue, 10 Jul 2012 08:52:46 UTC

Severity: normal

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to,,
Bug#681044; Package wnpp. (Tue, 10 Jul 2012 08:52:49 GMT) Full text and rfc822 format available.

Acknowledgement sent to Ricardo Mones <>:
New Bug report received and forwarded. Copy sent to, (Tue, 10 Jul 2012 08:53:27 GMT) Full text and rfc822 format available.

Message #5 received at (full text, mbox):

From: Ricardo Mones <>
Subject: O: prover9-manual -- documentation for Prover9 and associated programs
Date: Tue, 10 Jul 2012 10:48:01 +0200
[Message part 1 (text/plain, inline)]
Package: wnpp
Severity: normal

The current maintainer of prover9-manual, Peter Collingbourne <>,
is not interested in it anymore.  Therefore, I orphan this package now.

Maintaining a package requires time and skills. Please only adopt this
package if you will have enough time and attention to work on it.

If you want to be the new maintainer, please see for detailed
instructions how to adopt a package properly.

Some information about this package:

Package: prover9-manual
Binary: prover9-doc
Version: 0.0.200902a-1
Maintainer: Peter Collingbourne <>
Build-Depends: debhelper (>= 5), dpatch
Build-Depends-Indep: htmldoc
Architecture: all
Standards-Version: 3.8.1
Format: 1.0
 f273dd2392eca57ac87b0c4376d98e1b 1227 prover9-manual_0.0.200902a-1.dsc
 00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 7427129d02078411724c50738beb2dca 4185 prover9-manual_0.0.200902a-1.diff.gz
Dm-Upload-Allowed: yes
Vcs-Bzr: nosmart+
 0c8e6f3886238cae7d9559ecb87aee3c886a7234 1227 prover9-manual_0.0.200902a-1.dsc
 de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 8c7702cf7e1a905a601d6251140eb465fd47e68c 4185 prover9-manual_0.0.200902a-1.diff.gz
 c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c 1227 prover9-manual_0.0.200902a-1.dsc
 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf 4185 prover9-manual_0.0.200902a-1.diff.gz
Directory: pool/main/p/prover9-manual
Priority: source
Section: doc

Package: prover9-doc
Source: prover9-manual
Version: 0.0.200902a-1
Installed-Size: 3544
Maintainer: Peter Collingbourne <>
Architecture: all
Suggests: prover9, ladr4-apps, python
Description-en: documentation for Prover9 and associated programs
 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.
Description-md5: 3666da0276f73cac13717eb7f17a3d20
Tag: made-of::html, made-of::pdf, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/prover9-manual/prover9-doc_0.0.200902a-1_all.deb
Size: 968774
MD5sum: c6f1afd44d2140da5d80526f5e0f692b
SHA1: daafb900765f0c1f6ed5604403d817d3b7a8a40e
SHA256: 381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1edddd0002e8cdc

[signature.asc (application/pgp-signature, inline)]

Send a report that this bug log contains spam.

Debian bug tracking system administrator <>. Last modified: Thu Apr 17 04:02:52 2014; Machine Name:

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.