On Fri, Mar 06, 2020 at 09:50:01AM +0100, Gianfranco Costamagna wrote: > Source: coq > Version: 8.11.0-1 > Severity: serious > > Hello, looks like the latest coq is FTBFS because of test failures on various architectures. Coq is notoriously troublesome. Of course we are monitoring the build status, and discussing build failures with upstream. -Ralf.