sbellem / docker-base

Parent image for Docker images of the Coq proof assistant [maintainer=@erikmd]

coqorg/base

This repository provides parent images for Docker images of the Coq proof assistant.

These images are based on Debian 10 Slim:

	GitHub repo	Type	Docker Hub
	docker-coq-action	GitHub action	N/A
	docker-coq	Dockerfile	coqorg/coq
x	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.