 |
VOOZH | about |
|
VOOZH | about |
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
1M+
👁 tags
👁 pipeline status
👁 dev image
👁 pulls
👁 stars
👁 dockerfile
👁 base
Note
This repository provides Docker images of the Coq proof assistant (versions 8.4.6 to 8.20.1), maintained as part of the Rocq-community project. Note that Docker tags for Coq versions < 8.7 are not actively rebuilt anymore, and thereby do not show up in the list of Supported tags below: these old Coq images are stalled because of this opam-repository PR that archived old versions of the OCaml compiler. For newest versions of the Rocq Prover ≥ 9.0, use rocq/rocq-prover images instead.
These images are based on this parent image, itself 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-coq | Dockerfile | coqorg/coq |
| ↳ | docker-base | Dockerfile | coqorg/base |
| ↳ | Debian | Linux distro | debian |
See also the docker-coq wiki for details about how to use these images.
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.
Dockerfile links8.20.1-ocaml-4.14.2-flambda, 8.20-ocaml-4.14-flambda, latest-ocaml-4.14-flambda8.20.1-ocaml-4.13.1-flambda, 8.20-ocaml-4.13-flambda, 8.20.1, 8.20, latest-ocaml-4.13-flambda, latest8.20.1-ocaml-4.12.1-flambda, 8.20-ocaml-4.12-flambda, latest-ocaml-4.12-flambda8.20.1-ocaml-4.09.1-flambda, 8.20-ocaml-4.09-flambda, latest-ocaml-4.09-flambda8.20.1-native-ocaml-4.13.1, 8.20-native-ocaml-4.13, 8.20.1-native, 8.20-native, latest-native-ocaml-4.13, latest-native8.20.1-native-ocaml-4.13.1-flambda, 8.20-native-ocaml-4.13-flambda, 8.20.1-native-flambda, 8.20-native-flambda, latest-native-ocaml-4.13-flambda, latest-native-flambda8.19.2-ocaml-4.14.2-flambda, 8.19-ocaml-4.14-flambda8.19.2-ocaml-4.13.1-flambda, 8.19-ocaml-4.13-flambda, 8.19.2, 8.198.19.2-ocaml-4.12.1-flambda, 8.19-ocaml-4.12-flambda8.19.2-ocaml-4.09.1-flambda, 8.19-ocaml-4.09-flambda8.19.2-native-ocaml-4.13.1, 8.19-native-ocaml-4.13, 8.19.2-native, 8.19-native8.19.2-native-ocaml-4.13.1-flambda, 8.19-native-ocaml-4.13-flambda, 8.19.2-native-flambda, 8.19-native-flambda8.18.0-ocaml-4.14.2-flambda, 8.18-ocaml-4.14-flambda8.18.0-ocaml-4.13.1-flambda, 8.18-ocaml-4.13-flambda, 8.18.0, 8.188.18.0-ocaml-4.12.1-flambda, 8.18-ocaml-4.12-flambda8.18.0-ocaml-4.09.1-flambda, 8.18-ocaml-4.09-flambda8.18.0-native-ocaml-4.13.1, 8.18-native-ocaml-4.13, 8.18.0-native, 8.18-native8.18.0-native-ocaml-4.13.1-flambda, 8.18-native-ocaml-4.13-flambda, 8.18.0-native-flambda, 8.18-native-flambda8.17.1-ocaml-4.14.2-flambda, 8.17-ocaml-4.14-flambda8.17.1-ocaml-4.13.1-flambda, 8.17-ocaml-4.13-flambda, 8.17.1, 8.178.17.1-ocaml-4.12.1-flambda, 8.17-ocaml-4.12-flambda8.17.1-ocaml-4.09.1-flambda, 8.17-ocaml-4.09-flambda8.17.1-native-ocaml-4.13.1, 8.17-native-ocaml-4.13, 8.17.1-native, 8.17-native8.17.1-native-ocaml-4.13.1-flambda, 8.17-native-ocaml-4.13-flambda, 8.17.1-native-flambda, 8.17-native-flambda8.16.1-ocaml-4.14.2-flambda, 8.16-ocaml-4.14-flambda8.16.1-ocaml-4.13.1-flambda, 8.16-ocaml-4.13-flambda, 8.16.1, 8.168.16.1-ocaml-4.12.1-flambda, 8.16-ocaml-4.12-flambda8.16.1-ocaml-4.09.1-flambda, 8.16-ocaml-4.09-flambda8.16.1-native-ocaml-4.13.1, 8.16-native-ocaml-4.13, 8.16.1-native, 8.16-native8.16.1-native-ocaml-4.13.1-flambda, 8.16-native-ocaml-4.13-flambda, 8.16.1-native-flambda, 8.16-native-flambda8.15.2-ocaml-4.14.2-flambda, 8.15-ocaml-4.14-flambda8.15.2-ocaml-4.13.1-flambda, 8.15-ocaml-4.13-flambda8.15.2-ocaml-4.07.1-flambda, 8.15-ocaml-4.07-flambda, 8.15.2, 8.158.15.2-ocaml-4.05.0, 8.15-ocaml-4.058.15.2-native-ocaml-4.07.1, 8.15-native-ocaml-4.07, 8.15.2-native, 8.15-native8.15.2-native-ocaml-4.07.1-flambda, 8.15-native-ocaml-4.07-flambda, 8.15.2-native-flambda, 8.15-native-flambda8.14.1-ocaml-4.14.2-flambda, 8.14-ocaml-4.14-flambda8.14.1-ocaml-4.13.1-flambda, 8.14-ocaml-4.13-flambda8.14.1-ocaml-4.07.1-flambda, 8.14-ocaml-4.07-flambda, 8.14.1, 8.148.14.1-ocaml-4.05.0, 8.14-ocaml-4.058.14.1-native-ocaml-4.07.1, 8.14-native-ocaml-4.07, 8.14.1-native, 8.14-native8.14.1-native-ocaml-4.07.1-flambda, 8.14-native-ocaml-4.07-flambda, 8.14.1-native-flambda, 8.14-native-flambda8.13.2-ocaml-4.14.2-flambda, 8.13-ocaml-4.14-flambda8.13.2-ocaml-4.13.1-flambda, 8.13-ocaml-4.13-flambda8.13.2-ocaml-4.07.1-flambda, 8.13-ocaml-4.07-flambda, 8.13.2, 8.138.13.2-ocaml-4.05.0, 8.13-ocaml-4.058.13.2-native-ocaml-4.07.1, 8.13-native-ocaml-4.07, 8.13.2-native, 8.13-native8.13.2-native-ocaml-4.07.1-flambda, 8.13-native-ocaml-4.07-flambda, 8.13.2-native-flambda, 8.13-native-flambda8.12.2-ocaml-4.11.2-flambda, 8.12-ocaml-4.11-flambda8.12.2-ocaml-4.10.2-flambda, 8.12-ocaml-4.10-flambda8.12.2-ocaml-4.07.1-flambda, 8.12-ocaml-4.07-flambda, 8.12.2, 8.128.12.2-ocaml-4.05.0, 8.12-ocaml-4.058.11.2-ocaml-4.11.2-flambda, 8.11-ocaml-4.11-flambda8.11.2-ocaml-4.10.2-flambda, 8.11-ocaml-4.10-flambda8.11.2-ocaml-4.07.1-flambda, 8.11-ocaml-4.07-flambda, 8.11.2, 8.118.11.2-ocaml-4.05.0, 8.11-ocaml-4.058.10.2-ocaml-4.09.1-flambda, 8.10-ocaml-4.09-flambda8.10.2-ocaml-4.08.1-flambda, 8.10-ocaml-4.08-flambda8.10.2-ocaml-4.07.1-flambda, 8.10-ocaml-4.07-flambda, 8.10.2, 8.108.10.2-ocaml-4.05.0, 8.10-ocaml-4.058.9.1-ocaml-4.09.1-flambda, 8.9-ocaml-4.09-flambda8.9.1-ocaml-4.08.1-flambda, 8.9-ocaml-4.08-flambda8.9.1-ocaml-4.07.1-flambda, 8.9-ocaml-4.07-flambda, 8.9.1, 8.98.9.1-ocaml-4.05.0, 8.9-ocaml-4.058.8.2-ocaml-4.09.1-flambda, 8.8-ocaml-4.09-flambda8.8.2-ocaml-4.08.1-flambda, 8.8-ocaml-4.08-flambda8.8.2-ocaml-4.07.1-flambda, 8.8-ocaml-4.07-flambda, 8.8.2, 8.88.8.2-ocaml-4.05.0, 8.8-ocaml-4.058.7.2-ocaml-4.09.1-flambda, 8.7-ocaml-4.09-flambda8.7.2-ocaml-4.08.1-flambda, 8.7-ocaml-4.08-flambda8.7.2-ocaml-4.07.1-flambda, 8.7-ocaml-4.07-flambda, 8.7.2, 8.78.7.2-ocaml-4.05.0, 8.7-ocaml-4.05Content type
Image
Digest
sha256:e9caeb3af…
Size
1.4 GB
Last updated
3 months ago
docker pull coqorg/coq:8.16-native-flambdaPulls:
2,713
Jun 15 to Jun 21