Bug#1025531: transition: elpi 1.16.8-1
Control: tags -1 confirmed
On 2022-12-06 10:42:46 +0100, 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>
>
> A new upstream version of elpi is out ; it requires rebuilding all
> depending packages:
>
> nmu coq-elpi_1.16.0-1+b2 . ANY . -m 'Rebuild because of upload of
> elpi=1.16.8-1'
> dw coq-elpi_1.16.0-1+b2 . ANY . -m 'elpi >= 1.16.8-1'
> nmu coq-hierarchy-builder_1.4.0-2+b4 . ANY . -m 'Rebuild because of
> upload of coq-elpi=1.16.0-1+b2'
> dw coq-hierarchy-builder_1.4.0-2+b4 . ANY . -m 'coq-elpi >= 1.16.0-
> 1+b2'
> nmu mathcomp-algebra-tactics_1.0.0-8+b4 . ANY . -m 'Rebuild because of
> upload of coq-elpi=1.16.0-1+b2'
> dw mathcomp-algebra-tactics_1.0.0-8+b4 . ANY . -m 'coq-elpi >= 1.16.0-
> 1+b2'
> nmu mathcomp-analysis_0.5.4-3+b4 . ANY . -m 'Rebuild because of upload
> of coq-hierarchy-builder=1.4.0-2+b4 coq-elpi=1.16.0-1+b2'
> dw mathcomp-analysis_0.5.4-3+b4 . ANY . -m 'coq-hierarchy-builder >=
> 1.4.0-2+b4'
> dw mathcomp-analysis_0.5.4-3+b4 . ANY . -m 'coq-elpi >= 1.16.0-1+b2'
>
>
> I'm waiting for the "go!" signal to upload elpi 1.16.8-1.
Please go ahead
Cheers
--
Sebastian Ramacher
Reply to: