Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
BSD 3-Clause "New" or "Revised" License
37
stars
3
forks
source link
feat: Release coqorg/coq:8.19.2 #64
Closed
erikmd closed 2 months ago
Cc @SkySkimmer FYI;
waiting for https://opam.ocaml.org/packages/coq/ = 8.19.2