Control: tags -1 confirmed Hi Julien
On 2023-01-03 14:33:32 +0100, julien.pu...@gmail.com wrote: > 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. Please go ahead Cheers -- Sebastian Ramacher