Build coqorg/coq:8.13 from https://github.com/coq/coq/tree/v8.13

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

Closed erikmd closed 3 years ago

erikmd commented 3 years ago

Close #15

Note: the automatic rebuild of this image is not yet implemented; docker-keeper will need to be extended with 'labels' support or so.

See that Zulip message for more context.