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

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
https://github.com/rocq-community/docker-coq

ci coq docker-coq docker-image dockerfile opam

Last synced: 3 months ago
JSON representation

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

• Host: GitHub
• URL: https://github.com/rocq-community/docker-coq
• Owner: rocq-community
• License: bsd-3-clause
• Created: 2018-09-28T19:42:10.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2025-02-13T20:35:43.000Z (5 months ago)
• Last Synced: 2025-03-24T15:06:58.996Z (3 months ago)
• Topics: ci, coq, docker-coq, docker-image, dockerfile, opam
• Language: Dockerfile
• Homepage: https://hub.docker.com/r/coqorg/coq/
• Size: 257 KB
• Stars: 37
• Watchers: 6
• Forks: 3
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# coqorg/coq

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

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

[![dev image](https://img.shields.io/badge/coqorg%2Fcoq-dev-blue.svg)](https://hub.docker.com/r/coqorg/coq/tags?page=1&name=dev "See dev image on Docker Hub")

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

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

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

[![base](https://img.shields.io/badge/depends%20on-coqorg%2Fbase-blue.svg)](https://hub.docker.com/r/coqorg/base "Docker base image for Coq")

This repository provides [Docker](https://www.docker.com/) images of the [Coq](https://github.com/coq/coq) proof assistant.

These images are based on [this parent image](https://hub.docker.com/r/coqorg/base/), itself 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-coq](https://github.com/coq-community/docker-coq)               | Dockerfile    | [`coqorg/coq`](https://hub.docker.com/r/coqorg/coq/)   |

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

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

See also the [docker-coq wiki](https://github.com/coq-community/docker-coq/wiki) for details about how to use these images.

This Dockerfile repository is [mirrored on GitLab](https://gitlab.com/coq-community/docker-coq), but [issues](https://github.com/coq-community/docker-coq/issues) and [pull requests](https://github.com/coq-community/docker-coq/pulls) are tracked on GitHub.

> [!NOTE]

>

> Note that this repository only contain Docker images for the Coq Proof Assistant ≤ 8.20.1.  

> For newest versions of the Rocq Prover ≥ 9.0, use [rocq/rocq-prover](https://hub.docker.com/r/rocq/rocq-prover) images instead.