Package: src:coq Version: 8.8.2-1 Severity: serious Tags: sid buster according to https://buildd.debian.org/status/package.php?p=coq the package fails to build at least on armel and the mips* architectures.