Your message dated Sat, 17 Sep 2022 09:59:47 +0200
with message-id <[email protected]>
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 [email protected]
immediately.)
--
1019536: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019536
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: [email protected]
Usertags: transition
X-Debbugs-Cc: [email protected]
X-Debbugs-Cc: Debian OCaml Maintainers
<[email protected]>
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, [email protected] wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: [email protected]
> > Usertags: transition
> > X-Debbugs-Cc: [email protected]
> > X-Debbugs-Cc: Debian OCaml Maintainers
> > <[email protected]>
> >
> > 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 ---
