p9m4 0.5.dfsg-3 source package in Ubuntu


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 on 2015-12-14
Uploaded to:
Original maintainer:
Debian QA Group
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2018-10-30 universe math
Cosmic release on 2018-05-01 universe math
Bionic release on 2017-10-24 universe math
Artful release on 2017-04-20 universe math
Xenial release on 2015-12-15 universe math


Xenial: [FULLYBUILT] amd64


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

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.