coqorg/coq
Sponsored OSS
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
Image
Security
Languages & frameworks
Integration & delivery
13
1M+
coqorg/coq repository overview
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
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.
Supported tags and respective Dockerfile links
8.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.05
Tag summary
Content type
Image
Digest
sha256:cc6b1d537…
Size
1.3 GB
Last updated
about 1 month ago
docker pull coqorg/coq:8.19-native-flambdaThis week's pulls
Pulls:
5,769
Last week