rocq/base

Sponsored OSS

By rocq

Updated 29 days ago

Parent image for Docker images of the Rocq Prover

Image
Languages & Frameworks
Integration & Delivery
1

707

rocq/base

tagspipeline statuspullsstars
dockerfilerocq-prover

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 repoTypeDocker Hub
docker-coq-actionGitHub ActionN/A
docker-rocqDockerfilerocq/rocq-prover
docker-baseDockerfilerocq/base
DebianLinux distrodebian

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

Docker Pull Command

docker pull rocq/base