Control: tags -1 confirmed On 2022-10-01 22:10:46 +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 is a new version of coq-hierarchy-builder ; it requires > rebuilding another package: > > nmu mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'Rebuild because of upload > of coq-hierarchy-builder=1.4.0-1' > dw mathcomp-analysis_0.5.4-1+b2 . ANY . -m 'coq-hierarchy-builder >= > 1.4.0-1' > > > I'm waiting for your approval to upload coq-hierarchy-builder 1.4.0-1.
Please go ahead Cheers -- Sebastian Ramacher
