Your message dated Sun, 9 Oct 2022 20:33:23 +0200
with message-id <[email protected]>
and subject line Re: Bug#1021090: transition: coq-hierarchy-builder
has caused the Debian Bug report #1021090,
regarding transition: coq-hierarchy-builder
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.)
--
1021090: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021090
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 is a new version of coq-hierarchy-builder ; it requires
rebuilding another package:
nmu mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'Rebuild because of upload
of coq-hierarchy-builder=1.4.0-1'
dw mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'coq-hierarchy-builder >=
1.4.0-1'
I'm waiting for your approval to upload coq-hierarchy-builder 1.4.0-1.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
On 2022-10-02 15:58:07 +0200, Sebastian Ramacher wrote:
> Control: tags -1 confirmed
>
> On 2022-10-01 22:10:46 +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 is a new version of coq-hierarchy-builder ; it requires
> > rebuilding another package:
> >
> > nmu mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'Rebuild because of upload
> > of coq-hierarchy-builder=1.4.0-1'
> > dw mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'coq-hierarchy-builder >=
> > 1.4.0-1'
> >
> >
> > I'm waiting for your approval to upload coq-hierarchy-builder 1.4.0-1.
>
> Please go ahead
coq-hierarchy-builder migrated
Cheers
--
Sebastian Ramacher
--- End Message ---
