https://ocaml.org/releases/4.10.2.html and https://ocaml.org/releases/4.12.0.html are the only OCaml compilers supporting M1, so I was interested in upgrading on x64 as well.
There is only one way to know :)
4.10.2 has been used on M1 with Coq quite a bit, so indeed there is at least proof that it works, and I heard pretty well
4.12.0 should be fine ; only reason it is not supported officially yet is that it requires Dune 2.8 I think
due to some non-backwards compatible changes in OCaml itself IIRC, unfortunately this won't work well
Due to some complexities due to work on the build system, it will still take a bit of time to have Coq's CI using 4.12.0, but don't let that hold you back.
Thanks a lot for the info!
Last updated: Sep 30 2023 at 07:01 UTC