Control: tags -1 confirmed On 2022-10-01 22:10:46 +0200, [email protected] wrote: > Package: release.debian.org > Severity: normal > User: [email protected] > Usertags: transition > X-Debbugs-Cc: [email protected] > X-Debbugs-Cc: Debian OCaml Maintainers > <[email protected]> > > 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
