p9m4_0.5.dfsg-3_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 14 Dec 2015 15:48:42 +0000
Source: p9m4
Binary: prover9-mace4
Architecture: source
Version: 0.5.dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Mattia Rizzolo <mattia@debian.org>
Description:
prover9-mace4 - GUI for Prover9 and Mace4
Closes: 740323 786257
Changes:
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.
Checksums-Sha1:
48372b4a74e87aa8b3dfc6e6a9f5a4527c34ad85 1726 p9m4_0.5.dfsg-3.dsc
950ddc7eb07310e50d7c23b00cad3db4b2857714 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Checksums-Sha256:
7e3b8b4e57d6c1af5b75c8919f6dff4455e4f5a80e463e64c90d2341bab98366 1726 p9m4_0.5.dfsg-3.dsc
960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Files:
57622870c89be51e690e1d3ba7b619b6 1726 math optional p9m4_0.5.dfsg-3.dsc
a36c50463727eb5eea0af31579a99947 8792 math optional p9m4_0.5.dfsg-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWbuT4AAoJEEsEP825REVAn8MP/36SOGaB34jYOj3maXo1IsA7
Z8oR6H8RPL38RAQdr2vwJb77AOWwOZbbzw/jbdeLoWhMSEHYEtS3YErXa8WznsHs
OKGYwPHOG6lfAxyzYyMwDhYDFb/gE/xLJbEkXLsUepn7EELutTDYYLP6sdYGvH/9
es1EybwHfQcl+8bYqtrp9xtTKXNyfjXIyDoULx6a6ycPtygKZaCScLfN91QCIpuj
uVwX/Q323NVOQGeeV+h0OxINconowl9gKezBHlkDBdZYujvWwHcvoSZQjK8rlONU
tyavhNeO3vHQw+mMvkUNnfgPcVD8baspcqAKhORWJDlCPWyeU54Dq8AhEV7xjuu3
x91OMdRwLZF9CoXNDquj33CHF7AmbxMunYfSjxxBve9yNdT854tCW5ozX+XbDbS2
J9bT7PeiS1SJi7RRTOeoJ0VTt0GuuOKKO9fVwFzFiUZVbDwDbaIAEkbaxdpnsMPH
8HDlGJB0CrzbmRhcTm73MPrmS4Kk/NIYpl96+EB378+Wdx2mX6oL6POfSffQWzeK
v8a0Ykz5t6KNIO5+h8/N7q13sVNHLXopApfkh82/QGmWHEWw8N7degMz3bmiPUud
bNhA41uf2D4KdZnfeVtmcxXLoj29Ce0/bEsu5MYiIZKv1xUfs3PE/FXHp1w36Oif
O3pKsnDQmo+G29cExeUz
=yQaY
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: