Bug#1019536: transition: coq-elpi and mathcomp-analysis

[julien.puydt@gmail.com]

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.

Cheers,

J.Puydt