Michael Soegtrop (Nov 15 2021 at 16:47): Michael Soegtrop (Nov 15 2021 at 16:47):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.
Karl Palmskog (Nov 15 2021 at 16:50):I think we need to ping @Matthieu Sozeau for this one. The last version for 8.13 was 1.3~beta2
Michael Soegtrop (Nov 15 2021 at 16:56):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.
Matthieu Sozeau (Nov 15 2021 at 17:50):I can work on it, yes
Michael Soegtrop (Nov 16 2021 at 08:42):Please note that the timeline is about 2 weeks - the planned release date for Coq Platform 2021.11 is Nov 30.
Matthieu Sozeau (Nov 26 2021 at 10:20):Hopefully this works: https://github.com/coq/opam-coq-archive/pull/1958 I tested the release with 8.13.2
Michael Soegtrop (Nov 26 2021 at 10:34):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