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

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

coq docker-coq

Last synced: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/coq-community/docker-base
• Owner: coq-community
• License: bsd-3-clause
• Created: 2018-09-28T19:41:37.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-21T19:51:05.000Z (3 months ago)
• Last Synced: 2024-10-22T13:28:22.702Z (3 months ago)
• Topics: coq, docker-coq
• Language: Dockerfile
• Homepage: https://github.com/coq-community/docker-coq
• Size: 251 KB
• Stars: 4
• Watchers: 5
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# coqorg/base

[![tags](https://img.shields.io/badge/tags%20on-docker%20hub-blue.svg)](https://hub.docker.com/r/coqorg/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/coqorg/base.svg)](https://hub.docker.com/r/coqorg/base "Number of pulls from Docker Hub")

[![stars](https://img.shields.io/docker/stars/coqorg/base.svg)](https://hub.docker.com/r/coqorg/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")

[![coq](https://img.shields.io/badge/see%20also-coqorg%2Fcoq-brightgreen.svg)](https://hub.docker.com/r/coqorg/coq "Docker images of Coq")

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

These images are based on [Debian 12 Slim](https://hub.docker.com/_/debian/):

|   | 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/)           |

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.