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).

view this post on Zulip Théo Zimmermann (Sep 20 2021 at 13:32):

@Michael Soegtrop we should start asking people to make tags for 8.14 BTW.

view this post on Zulip Michael Soegtrop (Sep 20 2021 at 16:17):

@Théo Zimmermann : yes indeed - I will create the tickets tomorrow.

view this post on Zulip Karl Palmskog (Sep 20 2021 at 16:29):

it's amazing that we finally have an incentive model for getting maintainers to tag compatible releases... I'm not sure if people realize the very hard coordination problems behind this that the community has been struggling with for years

view this post on Zulip Michael Soegtrop (Sep 21 2021 at 08:25):

@Karl Palmskog : as I keep saying: the work behind Coq Platform is not the bunch of scripts but the required coordination work.

view this post on Zulip Karl Palmskog (Sep 21 2021 at 09:21):

yeah, the platform might be described as a multi-year, continuous technical lobbying effort (which produces useful artifacts along the way)

Last updated: Oct 16 2021 at 03:02 UTC