Dear Ralf, I saw coq won't migrate to testing because of aac-tactics and coq-float. I gbp-pulled aac-tactics and saw that you imported a new upstream release (8.12.0) in upstream and pristine-tar branches, but master is still at 8.11.0-1. Are you planning to continue updating aac-tactics? Cheers, -- Stéphane