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>
Hi, there is a new version of coq-simple-io ; it requires re-building another package: nmu coq-quickchick_1.6.4-2+b1 . ANY . -m 'Rebuild because of upload of coq-simple-io=1.8.0-1' dw coq-quickchick_1.6.4-2+b1 . ANY . -m 'coq-simple-io >= 1.8.0-1' I'm waiting for your approval to upload coq-simple-io 1.8.0-1. Cheers, J.Puydt
