Emilio Jesús Gallego Arias

@herbelin this issue can be closed, unless you would like to do 8.20 for the jsCoq 0.X series.

Hi @hhugo , thanks a lot for checking in! Indeed our comments just crossed :D :D (https://github.com/ocsigen/js_of_ocaml/issues/1456#issuecomment-2341693179) Short story: yes, there is some problem, I'm bisecting now, problem seems located...

Hi folks, I've closed ejgallego/coq-serapi#377 in favor of this issue, as it was a duplicate, however note the useful information there. Also it seems to me that we could close...

Indeed it would be great to get native OCaml support; I guess the next step for us is to check if an upstream issue does exist, or else forward this...

I forgot to add that this happened in a "install using the .sh script" platform setup. In this case the platform binaries won't be able to find the gmp dll,...

Yes copying is not a good solution. Note that this problem happens in a very specific context when an app is launched directly from the explorer. I need to retest...

@MSoegtropIMC as far as I can tell it seems to me that issue can be still reproduced with the steps I posted originally, and thus still valid.

Dear @MSoegtropIMC , thanks for the information. Indeed, updating PATH or copying the .dll solve the problem.

This has been discussed a few times I think (c.f. #13757) . That's a feature with a huge potential for mess (and increased support cost on UIs, etc...) so I...

Would be nice if the wasm version woudl be the default on deploy.