Bug#1021090: marked as done (transition: coq-hierarchy-builder)
Your message dated Sun, 9 Oct 2022 20:33:23 +0200
with message-id <Y0MT89ylYfuL1LPJ@ramacher.at>
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 owner@bugs.debian.org
immediately.)
--
1021090: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021090
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 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, 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 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 ---
Reply to: