rocq/rocq-prover
Docker images of the Rocq Prover
50K+
rocq/rocq-prover repository overview
rocq/rocq-prover
This repository provides Docker images of the Rocq Prover.
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-rocq | Dockerfile | rocq/rocq-prover |
| ↳ | docker-base | Dockerfile | rocq/base |
| ↳ | Debian | Linux distro | debian |
See also the docker-coq wiki for details about how to use such images locally or in a CI context.
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.
Note
Note that this repository only contain Docker images for the Rocq Prover ≥ 9.0.
For earlier versions of the Coq Proof Assistant ≤ 8.20.1, use coqorg/coq images instead.
Tip
For most use cases, the tags
9.X(release version) anddev(development version) are the most relevant. Indeed, we recommend to omit the patchlevel field (using9.Xinstead of9.X-rc1or9.X.0) in your CI, so that you need not change the chosen Docker tag when a new patchlevel version of the Rocq Prover is released.
Supported tags and respective Dockerfile links
dev-ocaml-4.14.2-flambda,dev-ocaml-4.14-flambda,devdev-native-ocaml-4.14.2,dev-native-ocaml-4.14,dev-nativedev-native-ocaml-4.14.2-flambda,dev-native-ocaml-4.14-flambda,dev-native-flambda9.2.0-ocaml-4.14.2-flambda,9.2-ocaml-4.14-flambda,9.2.0,9.2,latest-ocaml-4.14-flambda,latest9.2.0-native-ocaml-4.14.2,9.2-native-ocaml-4.14,9.2.0-native,9.2-native,latest-native-ocaml-4.14,latest-native9.2.0-native-ocaml-4.14.2-flambda,9.2-native-ocaml-4.14-flambda,9.2.0-native-flambda,9.2-native-flambda,latest-native-ocaml-4.14-flambda,latest-native-flambda9.1.1-ocaml-4.14.2-flambda,9.1-ocaml-4.14-flambda,9.1.1,9.19.1.1-native-ocaml-4.14.2,9.1-native-ocaml-4.14,9.1.1-native,9.1-native9.1.1-native-ocaml-4.14.2-flambda,9.1-native-ocaml-4.14-flambda,9.1.1-native-flambda,9.1-native-flambda9.0.1-ocaml-4.14.2-flambda,9.0-ocaml-4.14-flambda,9.0.1,9.09.0.1-ocaml-4.13.1-flambda,9.0-ocaml-4.13-flambda9.0.1-ocaml-4.12.1-flambda,9.0-ocaml-4.12-flambda9.0.1-ocaml-4.09.1-flambda,9.0-ocaml-4.09-flambda9.0.1-native-ocaml-4.14.2,9.0-native-ocaml-4.14,9.0.1-native,9.0-native9.0.1-native-ocaml-4.14.2-flambda,9.0-native-ocaml-4.14-flambda,9.0.1-native-flambda,9.0-native-flambda
Tag summary
Content type
Image
Digest
sha256:c5f661cd4…
Size
1.4 GB
Last updated
about 8 hours ago
Requires Docker Desktop 4.37.1 or later.
This week's pulls
Pulls:
3,828
Apr 20 to Apr 26