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 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: Feb 06 2023 at 00:03 UTC