Control: tags -1 confirmed Hi Julien
On 2023-01-03 14:33:32 +0100, [email protected] wrote: > 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. Please go ahead Cheers -- Sebastian Ramacher
