Bug#953229: coq: FTBFS test failures

2020-03-06 Thread Ralf Treinen
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 st

Bug#953229: coq: FTBFS test failures

2020-03-06 Thread Gianfranco Costamagna
Source: coq Version: 8.11.0-1 Severity: serious Hello, looks like the latest coq is FTBFS because of test failures on various architectures. Looks like at least armel, armhf, i386, s390x and some others are failing for this. https://buildd.debian.org/status/package.php?p=coq&suite=unstable Can