Pierre Rousselin (Sep 17 2023 at 19:43): 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?
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).
Paolo Giarrusso (Sep 17 2023 at 20:30):(this thread fits better on the Coq platform stream)
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: Nov 29 2023 at 22:01 UTC