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 you please have a look (if you didn't already!) thanks Gianfranco