If OCaml 4.14 is no longer compatible with Coq, doesn't this mean we need to update all sorts of opam files for Coq and add an < 4.14 cap?
It's great that we can get master to work with 4.14, but if you are installing coq 8.14 using opam with say OCaml 4.14 you will run into problems no?
I think it's compatible you just get deprecation warnings
Ali Caglayan has marked this topic as resolved.
Last updated: Jun 04 2023 at 19:30 UTC