The release schedule for Coq 8.16 has been roughly decided.
The Release Manager will be thy servant, Pierre-Marie Pédrot. Following the release cycle CEP, the first move of the 8.16 will be the official branch out of master, followed by a swift V8.16+rc1 tag. Eventually a V8.16.0 tag will be published when the release process converges.
Tentative schedule:
- Mid May 2022: 8.16 branch
- End of May 2022: rc1 tag
- July 2022: official 8.16.0 release
Please refer to the dedicated wiki page for further evolving details.