Bug#1021090: transition: coq-hierarchy-builder

[julien.puydt@gmail.com]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpuydt@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-maint@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.

Cheers,

J.Puydt