artagnon/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
DockerfileBSD-3-Clause
No issues in this repository yet.
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
DockerfileBSD-3-Clause
No issues in this repository yet.