rocq/base
Parent image for Docker images of the Rocq Prover
5.6K
rocq/base repository overview
rocq/base
This repository provides parent images for Docker images of the Rocq Prover.
These images are based on Debian 12 Slim and relying on the last version of opam 2.x:
| GitHub repo | Type | Docker Hub | |
|---|---|---|---|
| docker-coq-action | GitHub Action | N/A | |
| docker-rocq | Dockerfile | rocq/rocq-prover | |
| ⊙ | docker-base | Dockerfile | rocq/base |
| ↳ | Debian | Linux distro | debian |
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.
Note
Note that these base images do not contain the Rocq Prover nor the Coq proof assistant.
They just contain a sudo user with UID=GID=1000 and /home/rocq or /home/coq as homedir,
as well as one opam switch, and some minimal apt and opam dependencies.The "bare" images do not contain any opam switch, just the opam binary.
The default entrypoint is
ENTRYPOINT ["opam", "exec", "--"]for all these images.
Supported tags and respective Dockerfile links
rocq_5.0.0-flambdarocq_4.14.2-flambdarocq_4.13.1-flambdarocq_4.12.1-flambdarocq_4.11.2-flambdarocq_4.10.2-flambdarocq_4.09.1-flambdarocq_4.08.1-flambdarocq_5.0.0rocq_4.14.2rocq_4.13.1coq_5.0.0-flambdacoq_4.14.2-flambdacoq_4.13.1-flambdacoq_4.12.1-flambdacoq_4.11.2-flambdacoq_4.10.2-flambdacoq_4.09.1-flambdacoq_4.08.1-flambdacoq_5.0.0coq_4.14.2coq_4.13.1coq_4.07.1-flambdacoq_4.07.1rocq_barecoq_bare
Tag summary
Content type
Image
Digest
sha256:43194ac79…
Size
429.6 MB
Last updated
7 days ago
docker pull rocq/base:coq_4.07.1-flambdaThis week's pulls
Pulls:
98
Mar 23 to Mar 29