Stream: Coq devs & plugin devs

Topic: status of 8.18.1


view this post on Zulip Gaëtan Gilbert (Jan 18 2024 at 15:08):

will there be a 8.18.1? @Enrico Tassi

view this post on Zulip Enrico Tassi (Jan 18 2024 at 15:10):

I don't think I have the time, esp that 8.19 is already there.


Last updated: Oct 13 2024 at 01:02 UTC