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: Bump 8.13 = 8.13-alpha => 8.13-beta1 #19
Closed
erikmd closed 3 years ago
href: coq/opam-coq-archive#1496