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: Bump 8.14 = 8.14-rc1 => 8.14.0 #37

Closed erikmd closed 3 years ago

erikmd commented 3 years ago

Ready to merge once https://github.com/ocaml/opam-repository/pull/19799 is integrated in https://opam.ocaml.org/packages/coq-serapi/

Cc @palmskog @ejgallego FYI

erikmd commented 3 years ago

Hi @palmskog, sorry I had merged this PR too fast.

But I restarted the build tonight, so that now, it's OK: coqorg/coq:8.14.0-ocaml-* are available at https://hub.docker.com/r/coqorg/coq#supported-tags