Stream: Coq Platform devs & users

Topic: OCaml compatibility of 2021.09


view this post on Zulip Karl Palmskog (Sep 30 2021 at 15:41):

As pointed out by Guillaume Melquiond, the 8.13.0 release of aac-tactics is not compatible with OCaml 4.12.0. @Michael Soegtrop should I do a new release of aac-tactics for 8.13 that supports 4.12.0 for 2021.09? Would take me maybe 10 min if you think it's worth it to do coq-aac-tactics.8.13.1.

view this post on Zulip Michael Soegtrop (Sep 30 2021 at 15:43):

It wouldn't hurt but Coq Platform is OCaml 4.10. This is always the case even with pre installed opam because the scripts create the switch.

view this post on Zulip Karl Palmskog (Sep 30 2021 at 15:45):

OK, so the platform implicitly enforces 4.10? Anyway, I think I will do the release later tonight for completeness (will cc in the coq-opam-archive PR). Not a big deal if it does not get in to 2021.09 I guess.


Last updated: Jan 29 2023 at 18:03 UTC