Control: tags -1 confirmed Hi Julien
On 2022-11-19 18:31:07 +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> > > 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. Please go ahead. Cheers -- Sebastian Ramacher