Stream: Coq devs & plugin devs

Topic: 8.16 is the "latest" version in Coq platform


view this post on Zulip Pierre Rousselin (Sep 17 2023 at 19:43):

While trying different installation procedures on Windows, I noticed that the releases page of Coq platform points to 8.16 as latest version. Is it by design or just an omission?

view this post on Zulip Théo Zimmermann (Sep 17 2023 at 20:28):

It's because Coq Platform releases take some time to prepare and the 8.17-based released was delayed a lot more because of various issues. So it's not there yet (although it is basically ready and I'm not fully sure what's still holding it).

view this post on Zulip Paolo Giarrusso (Sep 17 2023 at 20:30):

(this thread fits better on the Coq platform stream)

view this post on Zulip Notification Bot (Sep 18 2023 at 05:18):

This topic was moved to #Coq Platform devs & users > 8.16 is the "latest" version in Coq platform by Karl Palmskog.


Last updated: May 18 2024 at 10:02 UTC