search

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
https://hub.docker.com/r/coqorg/coq/
BSD 3-Clause "New" or "Revised" License
37 stars 3 forks source link

feat: Release coqorg/coq:8.20.0 #68

Closed erikmd closed 1 week ago

erikmd commented 1 week ago

Cc @proux01 @silene FYI

I'll merge this PR as soon as https://github.com/ocaml/opam-repository/pull/26512 is integrated.

Meanwhile, I merged https://github.com/coq-community/docker-base/pull/28 to bump the opam version (point release 2.2.1)