Ali Caglayan (May 08 2022 at 18:42): Ali Caglayan (May 08 2022 at 18:42):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?
Ali Caglayan (May 08 2022 at 18:43):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?
Gaëtan Gilbert (May 08 2022 at 19:00):I think it's compatible you just get deprecation warnings
Notification Bot (May 09 2022 at 10:19):Ali Caglayan has marked this topic as resolved.
Last updated: Apr 18 2024 at 23:01 UTC