Package: wnpp
Severity: normal
The former mainter of p9m4, Peter Collingbourne <peter@pcc.me.uk>,
is apparently not active 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:
(the last upload already was a QA upload effectively orfaning the
package)
Package: p9m4
Binary: prover9-mace4
Version: 0.5.dfsg-3
Maintainer: Debian QA Group <packages@qa.debian.org>
Build-Depends: cdbs, debhelper (>= 9), python, dh-python
Architecture: all
Standards-Version: 3.9.6
Format: 3.0 (quilt)
Files:
57622870c89be51e690e1d3ba7b619b6 1726 p9m4_0.5.dfsg-3.dsc
04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
a36c50463727eb5eea0af31579a99947 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Checksums-Sha1:
48372b4a74e87aa8b3dfc6e6a9f5a4527c34ad85 1726 p9m4_0.5.dfsg-3.dsc
bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
950ddc7eb07310e50d7c23b00cad3db4b2857714 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Checksums-Sha256:
7e3b8b4e57d6c1af5b75c8919f6dff4455e4f5a80e463e64c90d2341bab98366 1726 p9m4_0.5.dfsg-3.dsc
c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Package-List:
prover9-mace4 deb math optional arch=all
Directory: pool/main/p/p9m4
Priority: source
Section: math
Package: prover9-mace4
Source: p9m4
Version: 0.5.dfsg-3
Installed-Size: 265
Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: all
Depends: python:any (>= 2.7.5-5~), python-wxgtk3.0, prover9 (>= 0.0.200712-1)
Description: GUI for Prover9 and Mace4
Description-md5: 564869a43c977f40c9c0a6c95cdfb96f
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Section: math
Priority: optional
Filename: pool/main/p/p9m4/prover9-mace4_0.5.dfsg-3_all.deb
Size: 52670
MD5sum: 61425bf304be8fbe442b9162d1551f78
SHA1: f9ac452e1554fe267950d8a47b753b4d082279ff
SHA256: 09802625cf58f32d2404a2c4e1f6745d7d744a6716f1a68c13072a1a7e5629c4
--
regards,
Mattia Rizzolo
GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`.
more about me: http://mapreri.org : :' :
Launchpad user: https://launchpad.net/~mapreri `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
Attachment:
signature.asc
Description: PGP signature