Hi, On Thu, Mar 12, 2020 at 08:02:48PM +0100, Gianfranco Costamagna wrote: > Source: aac-tactics > Version: 8.9.0-1 > Severity: serious > > Hello, looks like some changes in sid made aac-tactics FTBFS in sid, log is available here: There is a new upstream version 8.11.0 of aac-tactics. The version number seems to indicate that this one compiles with coq 8.11.0. -Ralf.