Bug#953408: RM: coq [armel armhf i386 mipsel mips64el s390x] -- ROM; FTBFS (mostly on 32bit architectures, or where ocaml has only a bytecode compiler)

[Ralf Treinen]

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.