Bug#1027797: transition: aac-tactics 8.17.0-1

[julien.puydt@gmail.com]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpuydt@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-maint@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