This repository provides parent images for Docker images of the Coq proof assistant.
These images are based on Debian 11 Slim:
| 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 |
The Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.