Stream: Coq devs & plugin devs

Topic: Coq 8.14 new timeline


view this post on Zulip 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

view this post on Zulip 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: Dec 05 2023 at 06:01 UTC