p9m4 0.5.dfsg-3 source package in Ubuntu
Changelog
p9m4 (0.5.dfsg-3) unstable; urgency=medium
* QA upload.
* Orphan the package, after request of the MIA team and ack from PAPT team.
Closes: #740323
* Also remove Vcs-* fields, being removed from the PAPT team.
* remove long useless debian/pycompat file.
* debian/control: remove long useless DM-Upload-Allowed field.
* Build with dh-python instead of python-support. Closes: #786257
* Use source format 3.0 (quilt).
* Bump debhelper compat to 9.
* Bump Standards-Version to 3.9.6, no changes needed.
-- Mattia Rizzolo <email address hidden> Mon, 14 Dec 2015 15:48:42 +0000
Upload details
- Uploaded by:
- Debian QA Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian QA Group
- Architectures:
- all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bionic | release | universe | math | |
| Xenial | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| p9m4_0.5.dfsg-3.dsc | 1.7 KiB | 7e3b8b4e57d6c1af5b75c8919f6dff4455e4f5a80e463e64c90d2341bab98366 |
| p9m4_0.5.dfsg.orig.tar.gz | 86.6 KiB | c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a |
| p9m4_0.5.dfsg-3.debian.tar.xz | 8.6 KiB | 960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b |
Available diffs
- diff from 0.5.dfsg-2.2 to 0.5.dfsg-3 (1.4 KiB)
No changes file available.
Binary packages built by this source
- prover9-mace4: No summary available for prover9-mace4 in ubuntu eoan.
No description available for prover9-mace4 in ubuntu eoan.
