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.
