Your message dated Mon, 08 Nov 2021 09:03:56 +0000
with message-id <[email protected]>
and subject line Bug#995543: fixed in coq 8.14.0+dfsg-1
has caused the Debian Bug report #995543,
regarding Updating the coq 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.)
--
995543: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995543
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq
Version: 8.12.0-3
Severity: minor
User: [email protected]
Usertags: mia-teammaint
Enrico Tassi <[email protected]> has retired, so can't work on
the coq package anymore (at least with this 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.
--
regards,
Mattia Rizzolo
GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`.
More about me: https://mapreri.org : :' :
Launchpad user: https://launchpad.net/~mapreri `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.14.0+dfsg-1
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
coq, 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.
Julien Puydt <[email protected]> (supplier of updated coq 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: SHA512
Format: 1.8
Date: Mon, 08 Nov 2021 07:43:58 +0100
Source: coq
Binary: coq coq-dbgsym coq-theories coqide coqide-dbgsym libcoq-ocaml
libcoq-ocaml-dbgsym libcoq-ocaml-dev
Architecture: source amd64
Version: 8.14.0+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 995543
Changes:
coq (8.14.0+dfsg-1) experimental; urgency=medium
.
* Non-maintainer upload.
* Drop retired Enrico Tassi from uploaders (Closes: #995543).
* Rework d/copyright, d/gbp.conf, d/README.source and d/watch
so updating to a new upstream is cleaner and simpler.
* New upstream release (update patches, d/rules...).
Checksums-Sha1:
be61244d1a948574d72b3df0e20b4ee622de8228 2534 coq_8.14.0+dfsg-1.dsc
1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
3dee7aff9f1973122d1da7dcd04ac2b2b75262bd 36296 coq_8.14.0+dfsg-1.debian.tar.xz
5591c86378e8a94e1aee4843d668415de116429e 10253236
coq-dbgsym_8.14.0+dfsg-1_amd64.deb
5305db0eaf84397471769ce15bf5f6ab4db77fcc 24893748
coq-theories_8.14.0+dfsg-1_amd64.deb
a669a5e02dcf91d62d7b975600ca867959fec914 17771
coq_8.14.0+dfsg-1_amd64.buildinfo
a45ebabd0d6cb3c864896331aaabd92b326db320 78891060 coq_8.14.0+dfsg-1_amd64.deb
de04df14a39f47af2b0b5c341766a50b30487768 575060
coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
70e6f683fe71ed9079d3f6e8c64e911f0bdf3c99 1893820 coqide_8.14.0+dfsg-1_amd64.deb
e12492b6562ca2852fd489af65f84055594eddb5 1856912
libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
d7cc7b6eee6936d4bfb277b2821607a1fcd0f6ca 57553644
libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
b591742a7f462c753ff6e281a4c7327cfb0408e0 6203400
libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
Checksums-Sha256:
bf69dbe69f425d8fba44b55f88d233e22aec7a854e000661da3584a17873b8a6 2534
coq_8.14.0+dfsg-1.dsc
7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184
coq_8.14.0+dfsg.orig.tar.xz
0a40555cf2e382e6791d25013e5cce6db1f79b33afe93a23c517432a76930f28 36296
coq_8.14.0+dfsg-1.debian.tar.xz
a76e1cf738a969927539a1d07c44ff4b7c192032076ccc446f607a02ceeedff7 10253236
coq-dbgsym_8.14.0+dfsg-1_amd64.deb
72caab8ffa5cfff786260d0ef814feb0cf497edd0fff5a48e573717a410dcfb2 24893748
coq-theories_8.14.0+dfsg-1_amd64.deb
9b86233fa753eaac67cfff37238b8fe3212845f2cabf60c24b33dc2439a98562 17771
coq_8.14.0+dfsg-1_amd64.buildinfo
0586529fb20edec77cfca91915b36f7645cf2c43282f4b0e8fc7c7fc212aaf70 78891060
coq_8.14.0+dfsg-1_amd64.deb
22a1ef28393a35f4e244ab0fedbda6b25c43bc1a532498678753eacfb71e749b 575060
coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
9a0fe6171c72d762377fc38a3c15fdfda025ac68b05849e08f999d164fb969c2 1893820
coqide_8.14.0+dfsg-1_amd64.deb
8540c6e0cee5faeac903af706fa4724123f7decef5f54c8becfd8b88e94443bc 1856912
libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
3ad8143ad7ceda79b9b19f0ddadeb701dd5a0a23cc5a145b05496c4d4712ab9d 57553644
libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
d9c2731042f014d058c2460afa2c7043abfcaeebf39205e0e5b89abbcaaa1fda 6203400
libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
Files:
a9fa08ff74db98ed3f8a817b70cc5e94 2534 math optional coq_8.14.0+dfsg-1.dsc
c7d98331b270e6c20b734deb1cd3f049 4612184 math optional
coq_8.14.0+dfsg.orig.tar.xz
fbf50edc3a672b63bf8078a3abcfaa91 36296 math optional
coq_8.14.0+dfsg-1.debian.tar.xz
aa44861a5630deba1ae720db5e74c91f 10253236 debug optional
coq-dbgsym_8.14.0+dfsg-1_amd64.deb
3ad993a6d97e92d79ca69b6aa6583160 24893748 math optional
coq-theories_8.14.0+dfsg-1_amd64.deb
5fa20358ad9ebfddb7bfef490a506dfb 17771 math optional
coq_8.14.0+dfsg-1_amd64.buildinfo
ea61c5f2790e8ab137091223d71409be 78891060 math optional
coq_8.14.0+dfsg-1_amd64.deb
1da1a93fb6860904e7a00ab9672a341d 575060 debug optional
coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
1655b32f6d6da573b9b9c987ec81ed72 1893820 math optional
coqide_8.14.0+dfsg-1_amd64.deb
9e234142d65d7aead97a3f4aef8169f6 1856912 debug optional
libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
32333aab21ca5dfe32be090d55044590 57553644 ocaml optional
libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
2ca3f7720c9c7333f66ee1ced8f92ae1 6203400 ocaml optional
libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGI0OASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCnkP/RNWCJP+Q6lvgt1n2vwT4n73x21pjVrP
2WWmRj2hSY6+T+kOJfGfxift1lxgslHGjFzR2ldpZ2oZC7v7EZHDNcBIfek4Ze2q
qwP/bY6gqBIM3S8eP51pFRz/HZA4dw1aVY67UxZgLxnSG6OzdhDDXoVStkMbzcaB
pYWmdwYo2zu2Xbdi8TH3milwbRZGuVqrsU50cLrsPZj2bStHndAk41Qjia5kL2gS
aqWoGHKL2X/y8RF4JumnVtgk8bR7SCRLwX7hP8ut8s6TpdOg1brY9tmbLv0hdAAy
JxciOdBUzrO4ocgZ9B8RF0zIykvYRifjg+BaMbd19bEODSHEA7X/2WDC7nTB4bYi
2BU06j25HCwKpMP5FMX/duu5hfBi9PiMkXNLH1WYG/zeFxrXZbdQY91hQ35XvCbK
+Id0CLXiBgFquotSYLmZoW2igi1cz1PeVY653IWEOcKaKf2ogEFPpFRXodr55wEt
hX2y5L98XJFtpGHujXtTkqI/6NfxhUBfcBjV1aAvDSuVBUuPt3A3R+h/Sv3Qv3xH
AIg/ZldWWOJDPJwgOBZT9WQgv3FRHP90OaNAQxRj/fITrTK7PgiPOaNrKNf7xmUI
Z7eBRHLgaTzPrsXY+rIBKn+FyuDNvifzMfOxLut5dKS8265d1TwmGinYxo+frvBI
yFnDWEwI6FAz
=aaME
-----END PGP SIGNATURE-----
--- End Message ---
