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. Cheers, J.Puydt
