Bug#1019536: transition: coq-elpi and mathcomp-analysis
Control: tags -1 confirmed
On 2022-09-11 13:40:02 +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 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
Cheers
--
Sebastian Ramacher
Reply to: