tyabu/coq repository overview
Coq without IDE on alpine opam.
Supported tags and respective Dockerfile links
8.8.2,8.8,8,latest(8.8/Dockerfile)8.7.2,8.7(8.7/Dockerfile)8.6.1,8.6(8.6/Dockerfile)
Tag summary
Content type
Image
Digest
Size
371.4 MB
Last updated
over 7 years ago
docker pull tyabu/coq