coq-community / docker-base

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

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.