Package: ftp.debian.org Severity: normal Hi, recent coq has testsuite failures on many architectures, mostly due to a problem with coq/ocaml on 32bit architectures. This is currently being investigated by upstream, but will take some time. OTOH, it is time to move on to coq 8.11.0 as this version is build against lablgtk3 (previous versions vhere build against lablgtk2).
Thanks -Ralf.