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
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.
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