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:

... 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: Apr 14 2024 at 09:39 UTC