Package: release.debian.org Severity: normal User: [email protected] Usertags: transition X-Debbugs-Cc: [email protected] X-Debbugs-Cc: Debian OCaml Maintainers <[email protected]>
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
