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?
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).
(this thread fits better on the Coq platform stream)
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