The OCaml 5.2 build is ongoing.
flocq FTBFS on ppc64le (only) with a stack overflow:
https://koji.fedoraproject.org/koji/buildinfo?buildID=2458620
I tried increasing the stack size in case it was just marginal, but to no effect.
I have reserved a ppc64le system so I can take a look at this tomorrow. Let's see if I can at least get a stack trace.
This unfortunately affects several other packages:
- gappalib-coq - why3 - frama-c
Rich.