Control: tags -1 confirmed On 2022-09-11 13:40:02 +0200, 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 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.
Please go ahead Cheers -- Sebastian Ramacher