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

[Sebastian Ramacher <sramacher@debian.org>]

Control: tags -1 confirmed

Hi Julien

On 2023-01-03 14:33:32 +0100, julien.puydt@gmail.com wrote:
> 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.

Please go ahead

Cheers
-- 
Sebastian Ramacher