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