Your message dated Mon, 14 Dec 2015 16:32:40 +0000
with message-id <[email protected]>
and subject line Bug#740323: fixed in p9m4 0.5.dfsg-3
has caused the Debian Bug report #740323,
regarding Updating the p9m4 Uploaders list
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
740323: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740323
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: p9m4
Version: 0.5.dfsg-2.1
Severity: minor
User: [email protected]
Usertags: mia-teammaint
Peter Collingbourne <[email protected]> is not interested in the
p9m4 package anymore and would like to remove his address.
We are tracking their status in the MIA team and would like to ask you
to remove them from the Uploaders list of the package so we can close
that part of the file.
(If the person is listed as Maintainer, what we are asking is to please
step in as a new maintainer.)
Thanks.
signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
Source: p9m4
Source-Version: 0.5.dfsg-3
We believe that the bug you reported is fixed in the latest version of
p9m4, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mattia Rizzolo <[email protected]> (supplier of updated p9m4 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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 <[email protected]>
Changed-By: Mattia Rizzolo <[email protected]>
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-----
--- End Message ---
