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 aac-tactics is out ; it requires rebuilding a depending package: nmu coq-relation-algebra_1.7.8-1+b3 . ANY . -m 'Rebuild because of upload of aac-tactics=8.17.0-1' dw coq-relation-algebra_1.7.8-1+b3 . ANY . -m 'aac-tactics >= 8.17.0- 1' I'm waiting for the "go!" signal to upload aac-tactics 8.17.0-1. Cheers, J.Puydt