FWIW I've just pushed the 8.16 branch to the github repo: https://github.com/coq/coq/tree/v8.16
We have a couple of blockers in the 8.16 milestone: https://github.com/coq/coq/milestone/40
@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
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)
I suspect that https://github.com/coq/coq/issues/16015 attracted the attention of basically nobody.
@Pierre-Marie Pédrot I'm just back from holidays, but the mltop stuff should not be a blocker I think
@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: Feb 01 2023 at 16:03 UTC