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

[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>

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

Cheers,

J.Puydt