coq-community/docker-base

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

DockerfileBSD-3-Clause

coqorg/base

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`

This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.