I just wanted to ask if there are plans to back port equations 1.3 to 8.13 (since all the previous versions support several Coq versions). I plan for an updated package pick for 8.13.2 in Coq Platform 2011 which is as close as possible to the 8.14.0 pick.
I think we need to ping @Matthieu Sozeau for this one. The last version for 8.13 was
Yes - the existence of the 1.3~beta2 version for 8.13 made me think it makes sense to ask. I tested that 1.3 does not compile with 8.13.2.
I can work on it, yes
Please note that the timeline is about 2 weeks - the planned release date for Coq Platform 2021.11 is Nov 30.
Hopefully this works: https://github.com/coq/opam-coq-archive/pull/1958 I tested the release with 8.13.2
Thanks! I added a ToDO tick box in the tracker item (https://github.com/coq/platform/issues/139)
Last updated: Sep 25 2023 at 12:01 UTC