Stream: Equations devs & users

Topic: 1.3 for 8.13?


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Matthieu Sozeau (Nov 15 2021 at 17:50):

I can work on it, yes

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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: Jan 29 2023 at 14:02 UTC