Hey! I’ve seen the progress on 8.14 and the new tag. Some colleagues were wondering about the new release timeline; if that’s not too much trouble, would you have an (approximate) updated version of https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.14? Should we still expect it ~2 weeks after the rc1? cc @Guillaume Melquiond
It depends on the bugs unveiled by the prerelease of the platform (and other packaging systems). If there are none, then it should be released in two weeks (assuming the release notes are ready by then).
Last updated: Feb 06 2023 at 00:03 UTC