erikmd/coq-base repository overview
coqorg/base
This repository provides parent images for Docker images of the Coq proof assistant.
These images are based on Debian 10 Slim.
Supported tags and respective Dockerfile links
Tag summary
Content type
Image
Digest
Size
450.8 MB
Last updated
about 6 years ago
docker pull erikmd/coq-base