Bug#1019536: marked as done (transition: coq-elpi and mathcomp-analysis)
Your message dated Sat, 17 Sep 2022 09:59:47 +0200
with message-id <YyV+c457rv3q4UMP@ramacher.at>
and subject line Re: Bug#1019536: transition: coq-elpi and mathcomp-analysis
has caused the Debian Bug report #1019536,
regarding transition: coq-elpi and mathcomp-analysis
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.)
--
1019536: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019536
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpuydt@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-maint@lists.debian.org>
Hi,
There are new versions of two Coq-related packages ; that makes a four-
packages transition:
nmu coq-hierarchy-builder_1.3.0-2+b2 . ANY . -m 'Rebuild because of
upload of coq-elpi=1.15.6-1'
dw coq-hierarchy-builder_1.3.0-2+b2 . ANY . -m 'coq-elpi >= 1.15.6-1'
dw mathcomp-analysis_0.5.4-1 . ANY . -m 'coq-elpi >= 1.15.6-1'
dw mathcomp-analysis_0.5.4-1 . ANY . -m 'coq-hierarchy-builder >=
1.3.0-2+b2'
nmu mathcomp-algebra-tactics_1.0.0-6+b3 . ANY . -m 'Rebuild because of
upload of coq-elpi=1.15.6-1'
dw mathcomp-algebra-tactics_1.0.0-6+b3 . ANY . -m 'coq-elpi >= 1.15.6-
1'
I'm ready to upload coq-elpi 1.15.6-1 and mathcomp-analysis 0.5.4-1
when you're ok.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
On 2022-09-11 17:36:53 +0200, Sebastian Ramacher wrote:
> Control: tags -1 confirmed
>
> On 2022-09-11 13:40:02 +0200, julien.puydt@gmail.com wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian.org@packages.debian.org
> > Usertags: transition
> > X-Debbugs-Cc: jpuydt@debian.org
> > X-Debbugs-Cc: Debian OCaml Maintainers
> > <debian-ocaml-maint@lists.debian.org>
> >
> > Hi,
> >
> > There are new versions of two Coq-related packages ; that makes a four-
> > packages transition:
> >
> > nmu coq-hierarchy-builder_1.3.0-2+b2 . ANY . -m 'Rebuild because of
> > upload of coq-elpi=1.15.6-1'
> > dw coq-hierarchy-builder_1.3.0-2+b2 . ANY . -m 'coq-elpi >= 1.15.6-1'
> > dw mathcomp-analysis_0.5.4-1 . ANY . -m 'coq-elpi >= 1.15.6-1'
> > dw mathcomp-analysis_0.5.4-1 . ANY . -m 'coq-hierarchy-builder >=
> > 1.3.0-2+b2'
> > nmu mathcomp-algebra-tactics_1.0.0-6+b3 . ANY . -m 'Rebuild because of
> > upload of coq-elpi=1.15.6-1'
> > dw mathcomp-algebra-tactics_1.0.0-6+b3 . ANY . -m 'coq-elpi >= 1.15.6-
> > 1'
> >
> >
> > I'm ready to upload coq-elpi 1.15.6-1 and mathcomp-analysis 0.5.4-1
> > when you're ok.
>
> Please go ahead
coq-elpi and related packages migrated.
Cheers
--
Sebastian Ramacher
--- End Message ---
Reply to: