Control: tags -1 confirmed On 2022-12-06 10:42:46 +0100, julien.pu...@gmail.com wrote: > 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.
Please go ahead Cheers -- Sebastian Ramacher
