dgilmore changed the topic of #fedora-riscv to: Fedora on RISC-V https://fedoraproject.org/wiki/Architectures/RISC-V || Logs: https://libera.irclog.whitequark.org/fedora-riscv || Alt Arch discussions are welcome in #fedora-alt-arches
<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]
mhroncok has quit [Ping timeout: 265 seconds]
lorbus has quit [Ping timeout: 265 seconds]
lorbus has joined #fedora-riscv
gotmax23 has quit [Ping timeout: 265 seconds]
mhroncok has joined #fedora-riscv
brianmcarey[m] has joined #fedora-riscv
fuwei has quit [Ping timeout: 240 seconds]
fuwei has joined #fedora-riscv
davidlt[m] has joined #fedora-riscv
gotmax23 has joined #fedora-riscv
alexsaezm has joined #fedora-riscv