coq-community/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
DockerfileBSD-3-Clause
Issues
- 1
Upgrade to new Debian stable 12
#24 opened by Blaisorblade - 2
Bump dune to 2.9
#18 opened by Alizter - 12
Upgrade OCaml
#4 opened by liyishuai - 2
Upgrading dune to 2.5+
#8 opened by palmskog - 2
- 14
Base image should try to install Coq deps.
#7 opened by ejgallego