Coq 8.20+rc1

Announcements
1

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
2

FYI:

  • the docker-coq image coqorg/coq:8.20-alpha has just been replaced with coqorg/coq:8.20-rc1 (= coqorg/coq:8.20 as short identifier)
    • the main change is the addition of the recently-released coq-serapi package (required by the current implementation of Alectryon)
  • new Docker images have been created for mathcomp stable and mathcomp-dev:
    • mathcomp/mathcomp:1.19.0-coq-8.20
    • mathcomp/mathcomp:2.2.0-coq-8.20 (= mathcomp/mathcomp:latest-coq-8.20)
    • mathcomp/mathcomp-dev:coq-8.20