Bug#1024451: transition: coq-elpi
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.
Cheers,
J.Puydt
Reply to: