<davidlt[m]>
rwmjones: did you ever look at ocaml / coq build issue?
<rwmjones>
davidlt[m]: hey ... not if "looking at" means fixing no, I did look at it but IIRC it was some test failure and those are very hard to diagnose
<rwmjones>
I'm going to be doing OCaml 5 soon (in x86)
<davidlt[m]>
It was compiler error IIRC.
<davidlt[m]>
I mean internal compiler error.
* rwmjones
is confusing it .. let me check again
<rwmjones>
yup
<rwmjones>
let's look at it once we've got ocaml 5
<davidlt[m]>
Yeah, but that's not coming to F38.
<davidlt[m]>
It's not a big issue, but it would be nice to have it working in F38.
zsun has joined #fedora-riscv
zsun has quit [Quit: Leaving.]
alexsaezm has quit [Ping timeout: 265 seconds]
ol has quit [Remote host closed the connection]
ol has joined #fedora-riscv
thefossguy has quit [Ping timeout: 265 seconds]
davidlt[m] has quit [Ping timeout: 265 seconds]
brianmcarey[m] has quit [Ping timeout: 265 seconds]