Bug#1021090: transition: coq-hierarchy-builder
Control: tags -1 confirmed
On 2022-10-01 22:10:46 +0200, julien.puydt@gmail.com wrote:
> 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.
Please go ahead
Cheers
--
Sebastian Ramacher
Reply to: