https://github.com/rocq-community/docker-base

Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
https://github.com/rocq-community/docker-base

coq docker-coq

Last synced: 20 days ago
JSON representation

Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]

• Host: GitHub
• URL: https://github.com/rocq-community/docker-base
• Owner: rocq-community
• License: bsd-3-clause
• Created: 2018-09-28T19:41:37.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2025-02-10T10:47:38.000Z (3 months ago)
• Last Synced: 2025-04-04T15:14:09.946Z (25 days ago)
• Topics: coq, docker-coq
• Language: Dockerfile
• Homepage: https://github.com/coq-community/docker-coq
• Size: 277 KB
• Stars: 4
• Watchers: 4
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# rocq/base

[![tags](https://img.shields.io/badge/tags%20on-docker%20hub-blue.svg)](https://hub.docker.com/r/rocq/base#supported-tags "Supported tags on Docker Hub")

[![pipeline status](https://gitlab.com/coq-community/docker-base/badges/master/pipeline.svg)](https://gitlab.com/coq-community/docker-base/-/pipelines)

[![pulls](https://img.shields.io/docker/pulls/rocq/base.svg)](https://hub.docker.com/r/rocq/base "Number of pulls from Docker Hub")

[![stars](https://img.shields.io/docker/stars/rocq/base.svg)](https://hub.docker.com/r/rocq/base "Star the image on Docker Hub")  

[![dockerfile](https://img.shields.io/badge/dockerfile%20on-github-blue.svg)](https://github.com/coq-community/docker-base "Dockerfile source repository")

[![rocq-prover](https://img.shields.io/badge/see%20also-rocq%2Frocq--prover-brightgreen.svg)](https://hub.docker.com/r/rocq/rocq-prover "Docker images of the Rocq Prover")

This repository provides parent images for [Docker](https://www.docker.com/) images of the [Rocq Prover](https://rocq-prover.org).

These images are based on [Debian 12 Slim](https://hub.docker.com/_/debian/), and relying on the last version of [opam 2.x](https://opam.ocaml.org/doc/Manual.html):

|   | GitHub repo                                                             | Type          | Docker Hub                                                       |

|---|-------------------------------------------------------------------------|---------------|------------------------------------------------------------------|

|   | [docker-coq-action](https://github.com/coq-community/docker-coq-action) | GitHub Action | N/A                                                              |

|   | [docker-rocq](https://github.com/coq-community/docker-rocq)             | Dockerfile    | [`rocq/rocq-prover`](https://hub.docker.com/r/rocq/rocq-prover/) |

| ⊙ | [docker-base](https://github.com/coq-community/docker-base)             | Dockerfile    | [`rocq/base`](https://hub.docker.com/r/rocq/base/)               |

| ↳ | Debian                                                                  | Linux distro  | [`debian`](https://hub.docker.com/_/debian/)                     |

This Dockerfile repository is [mirrored on GitLab](https://gitlab.com/coq-community/docker-base), but [issues](https://github.com/coq-community/docker-base/issues) and [pull requests](https://github.com/coq-community/docker-base/pulls) 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.