Package: wnpp Severity: normal The current maintainer of prover9-manual, Peter Collingbourne <pe...@pcc.me.uk>, 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 http://www.debian.org/devel/wnpp/index.html#howto-o 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 <pe...@pcc.me.uk> Build-Depends: debhelper (>= 5), dpatch Build-Depends-Indep: htmldoc Architecture: all Standards-Version: 3.8.1 Format: 1.0 Files: 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+http://bzr.debian.org/collab-maint/prover9-manual/unstable/ Checksums-Sha1: 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 Checksums-Sha256: 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 Homepage: http://www.cs.unm.edu/~mccune/mace4/ 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 <pe...@pcc.me.uk> 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. Homepage: http://www.cs.unm.edu/~mccune/mace4/ 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
Description: Digital signature