Your message dated Mon, 08 Nov 2021 09:03:56 +0000 with message-id <E1mk0ZI-000G2g-SN@fasolo.debian.org> 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 owner@bugs.debian.org immediately.) -- 995543: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995543 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: Updating the coq Uploaders list
- From: Mattia Rizzolo <mattia@debian.org>
- Date: Sat, 2 Oct 2021 11:37:02 +0200
- Message-id: <YVgoPre9y64n4ZBB@mapreri.org>
Source: coq Version: 8.12.0-3 Severity: minor User: mia@qa.debian.org Usertags: mia-teammaint Enrico Tassi <gareuselesinge@debian.org> 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 `-Attachment: signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
- To: 995543-close@bugs.debian.org
- Subject: Bug#995543: fixed in coq 8.14.0+dfsg-1
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 08 Nov 2021 09:03:56 +0000
- Message-id: <E1mk0ZI-000G2g-SN@fasolo.debian.org>
- Reply-to: Julien Puydt <jpuydt@debian.org>
Source: coq Source-Version: 8.14.0+dfsg-1 Done: Julien Puydt <jpuydt@debian.org> 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 995543@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (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 ftpmaster@ftp-master.debian.org) -----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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 ---