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>
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
