Paolo Giarrusso (Sep 20 2021 at 13:15): Paolo Giarrusso (Sep 20 2021 at 13:15):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
Guillaume Melquiond (Sep 20 2021 at 13:21):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: Jun 04 2023 at 19:30 UTC