Stream: Elpi users & devs

Topic: Coq Platform pick

view this post on Zulip Michael Soegtrop (Nov 15 2023 at 10:47):

@Enrico Tassi : can you please follow up on https://github.com/LPCIC/coq-elpi/issues/511? You said there that we should pick Coq elpi > 1.19.3, but there is no such release. This blocks the Coq Platform release.

view this post on Zulip Enrico Tassi (Nov 15 2023 at 10:50):

Done.

view this post on Zulip Enrico Tassi (Nov 15 2023 at 10:51):

The release is not ready, so you stay with 1.19.x

Last updated: Oct 13 2024 at 01:02 UTC