Stream: Elpi users & devs

Topic: Typo in new Coq-Elpi tag


view this post on Zulip Karl Palmskog (Nov 10 2022 at 12:59):

@Enrico Tassi I think you will want to "rename" this tag: https://github.com/LPCIC/coq-elpi/tree/v.1.16.0

... or at least add a new tag v1.16.0for the same commit

view this post on Zulip Enrico Tassi (Nov 10 2022 at 13:58):

thanks, should be fixed now


Last updated: Feb 04 2023 at 02:03 UTC