Bug#1027057: transition: coq-bignums 8.17.0-1

[Sebastian Ramacher <sramacher@debian.org>]

Control: tags -1 confirmed

On 2022-12-27 12:04:07 +0100, 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>
> 
> A new upstream version of coq-bignums is out ; it requires rebuilding
> all depending packages:
> 
>  nmu coq-math-classes_8.15.0-3+b3 . ANY . -m 'Rebuild because of upload
> of coq-bignums=8.17.0-1'
>  dw coq-math-classes_8.15.0-3+b3 . ANY . -m 'coq-bignums >= 8.17.0-1'
>  nmu coqprime_8.15-1+b4 . ANY . -m 'Rebuild because of upload of coq-
> bignums=8.17.0-1'
>  dw coqprime_8.15-1+b4 . ANY . -m 'coq-bignums >= 8.17.0-1'
>  nmu coq-corn_8.16.0-1+b3 . ANY . -m 'Rebuild because of upload of coq-
> bignums=8.17.0-1 coq-math-classes=8.15.0-3+b3'
>  dw coq-corn_8.16.0-1+b3 . ANY . -m 'coq-bignums >= 8.17.0-1'
>  dw coq-corn_8.16.0-1+b3 . ANY . -m 'coq-math-classes >= 8.15.0-3+b3'
>  nmu coq-interval_4.6.1-1+b1 . ANY . -m 'Rebuild because of upload of
> coq-bignums=8.17.0-1'
>  dw coq-interval_4.6.1-1+b1 . ANY . -m 'coq-bignums >= 8.17.0-1'
>  nmu coqeal_1.1.1-2+b2 . ANY . -m 'Rebuild because of upload of coq-
> bignums=8.17.0-1'
>  dw coqeal_1.1.1-2+b2 . ANY . -m 'coq-bignums >= 8.17.0-1'
> 
> 
> I'm waiting for the "go!" signal to upload coq-bignums 8.17.0-1

Please go ahead

Cheers

> 
> Cheers,
> 
> J.Puydt
> 

-- 
Sebastian Ramacher