Control: tags -1 confirmed On 2022-12-27 12:04:07 +0100, julien.pu...@gmail.com wrote: > Package: release.debian.org > Severity: normal > User: release.debian....@packages.debian.org > Usertags: transition > X-Debbugs-Cc: jpu...@debian.org > X-Debbugs-Cc: Debian OCaml Maintainers > <debian-ocaml-ma...@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
