Bug#1024451: transition: coq-elpi

[Sebastian Ramacher <sramacher@debian.org>]

Control: tags -1 confirmed

Hi Julien

On 2022-11-19 18:31:07 +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>
> 
> Hi,
> 
> there is a new version of coq-elpi ; it requires
> rebuilding other packages:
> 
>  nmu coq-hierarchy-builder_1.4.0-2+b2 . ANY . -m 'Rebuild because of
> upload of coq-elpi=1.16.0-1'
>  dw coq-hierarchy-builder_1.4.0-2+b2 . ANY . -m 'coq-elpi >= 1.16.0-1'
>  nmu mathcomp-algebra-tactics_1.0.0-8+b2 . ANY . -m 'Rebuild because of
> upload of coq-elpi=1.16.0-1'
>  dw mathcomp-algebra-tactics_1.0.0-8+b2 . ANY . -m 'coq-elpi >= 1.16.0-
> 1'
>  nmu mathcomp-analysis_0.5.4-3+b2 . ANY . -m 'Rebuild because of upload
> of coq-elpi=1.16.0-1 coq-hierarchy-builder=1.4.0-2+b2'
>  dw mathcomp-analysis_0.5.4-3+b2 . ANY . -m 'coq-elpi >= 1.16.0-1'
>  dw mathcomp-analysis_0.5.4-3+b2 . ANY . -m 'coq-hierarchy-builder >=
> 1.4.0-2+b2'
> 
> 
> I'm waiting for your approval to upload coq-elpi 1.16.0-1.

Please go ahead.

Cheers
-- 
Sebastian Ramacher