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