Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: transition X-Debbugs-Cc: jpu...@debian.org X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@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. Cheers, J.Puydt
