Your message dated Fri, 26 Nov 2021 21:14:55 +0100 with message-id <YaFAP/Ahzx/nwbSr@ramacher.at> and subject line Re: Bug#1000632: RM: coq/8.12.0-3+b3 and others has caused the Debian Bug report #1000632, regarding RM: coq/8.12.0-3+b3 and others 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.) -- 1000632: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1000632 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: RM: coq/8.12.0-3+b3 and others
- From: Stéphane Glondu <glondu@debian.org>
- Date: Fri, 26 Nov 2021 09:20:13 +0100
- Message-id: <[🔎] 163791481349.2166669.4911511932584229301.reportbug@malt.loria.fr>
Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: rm X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Dear Release Managers, #1000573 prevents a bunch of packages [1] from migrating to testing. It would makes things better if coq and some related packages [2] could be removed from testing. [1] 17 packages (including binNMUs): alt-ergo ben botch camlimages coinst cryptokit cudf dose3 eliom extlib js-of-ocaml nurpawiki ocaml-base64 ocaml-graphics ocaml-mccs ocaml-zarith ocsigenserver [2] Easy hint: -coq -frama-c -prooftree -ssreflect -why3 Cheers, -- Stéphane
--- End Message ---
--- Begin Message ---
- To: Stéphane Glondu <glondu@debian.org>, 1000632-done@bugs.debian.org
- Subject: Re: Bug#1000632: RM: coq/8.12.0-3+b3 and others
- From: Sebastian Ramacher <sramacher@debian.org>
- Date: Fri, 26 Nov 2021 21:14:55 +0100
- Message-id: <YaFAP/Ahzx/nwbSr@ramacher.at>
- In-reply-to: <[🔎] 163791481349.2166669.4911511932584229301.reportbug@malt.loria.fr>
- References: <[🔎] 163791481349.2166669.4911511932584229301.reportbug@malt.loria.fr>
On 2021-11-26 09:20:13 +0100, Stéphane Glondu wrote: > Package: release.debian.org > Severity: normal > User: release.debian.org@packages.debian.org > Usertags: rm > X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org > > Dear Release Managers, > > #1000573 prevents a bunch of packages [1] from migrating to > testing. It would makes things better if coq and some related packages > [2] could be removed from testing. > > [1] 17 packages (including binNMUs): alt-ergo ben botch camlimages > coinst cryptokit cudf dose3 eliom extlib js-of-ocaml nurpawiki > ocaml-base64 ocaml-graphics ocaml-mccs ocaml-zarith ocsigenserver > > [2] Easy hint: -coq -frama-c -prooftree -ssreflect -why3 Removal hint added Cheers > > > Cheers, > > -- > Stéphane -- Sebastian RamacherAttachment: signature.asc
Description: PGP signature
--- End Message ---