Coq 8.20+rc1

The release candidate for Coq 8.20 is now available. Library authors
can safely start preparing compatible releases. For continuous
integration purposes, the release candidate is available as a Docker
image [1] as well as in nixpkgs, in particular through the
coq-nix-toolbox [2]. The final 8.20.0 release is planned for early
September.

[1] https://hub.docker.com/r/coqorg/coq/tags?page=&page_size=&ordering=&name=8.20
[2] GitHub - coq-community/coq-nix-toolbox: Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

1 Like