Coq 8.16 Release Schedule

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.