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 the same file in two different places; I found this unpalatable and just removed one of the copies [1]. I didn’t realize at the time that the bytecode world needed that file. I’ll look into fixing this in the next couple of days. [1] https://salsa.debian.org/ocaml-team/coq/commit/6fabd6380fd08b6e3defdfceb137b47d4db858a3#1823cfdb97f631de92d185f9a7ef6c1f58bc9147