Stream: Coq devs & plugin devs

Topic: 8.16 branch


view this post on Zulip Pierre-Marie Pédrot (May 16 2022 at 09:07):

FWIW I've just pushed the 8.16 branch to the github repo: https://github.com/coq/coq/tree/v8.16

view this post on Zulip Pierre-Marie Pédrot (May 16 2022 at 09:09):

We have a couple of blockers in the 8.16 milestone: https://github.com/coq/coq/milestone/40

view this post on Zulip Karl Palmskog (May 16 2022 at 09:10):

@Erik Martin-Dorel do we want to do an 8.16 (alpha) Docker image for the v8.16 branch this time? Or do you want to wait until 8.16+rc1? If the former, I'll create an 8.16.dev package.

view this post on Zulip Pierre-Marie Pédrot (May 16 2022 at 09:10):

Disclaimer: I'm going to start harassing people to get these out of the list, whether by fixing them or realizing they were not that blocking (or solved)

view this post on Zulip Pierre-Marie Pédrot (May 16 2022 at 09:14):

I suspect that https://github.com/coq/coq/issues/16015 attracted the attention of basically nobody.

view this post on Zulip Emilio Jesús Gallego Arias (May 17 2022 at 14:20):

@Pierre-Marie Pédrot I'm just back from holidays, but the mltop stuff should not be a blocker I think

view this post on Zulip Théo Zimmermann (May 17 2022 at 18:58):

@Pierre-Marie Pédrot I see that there is no backporting project yet. I'll create it for you (otherwise merged PRs to backport could be missed).


Last updated: Mar 29 2024 at 15:02 UTC