RM: coq [armhf i386 s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)
RM: coq [armhf i386 s390x] -- ROM; FTBFS (mostly on 32bit archs, or where ocaml has only a bytecode compiler)