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.
Control: retitle 919462 coq FTBFS on architectures without native OCaml backends
Control: owner 919462 !
Coq actually does build, but the test suite fails because I messed up
plugin loading on architectures that don’t have ocamlopt. Upstream
handles both native and bytecode worlds by installing th
2 matches
Mail list logo