Stream: Elpi users & devs

Topic: Coq-Elpi tag for 8.18

view this post on Zulip Karl Palmskog (Aug 03 2023 at 14:43):

So to make it possible to test projects using MathComp 2 with Coq 8.18+rc1, is there any chance of a Coq-Elpi tag in the near future? Unfortunately, the dependency graph for MC is more complex now in 2.X...

view this post on Zulip Enrico Tassi (Aug 04 2023 at 06:01):

Hopefully today, see https://github.com/LPCIC/coq-elpi/pull/489

view this post on Zulip Enrico Tassi (Aug 04 2023 at 06:02):

Note that an HB release must follow

view this post on Zulip Enrico Tassi (Aug 04 2023 at 12:22):

https://github.com/coq/opam-coq-archive/pull/2647

view this post on Zulip Enrico Tassi (Aug 04 2023 at 12:23):

and for HB, this is the upcoming tag https://github.com/math-comp/hierarchy-builder/pull/377

Last updated: Oct 13 2024 at 01:02 UTC