This repository provides Docker images of (stable versions of) the Mathematical Components library for the Coq proof assistant.
These images are based on the coqorg/coq images, itself based on Debian 12 Slim and relying on opam 2.x.
See also the docker-coq wiki for details about how to use such images locally or in a CI context.
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.
Read this section from the math-comp wiki for guidelines on how to maintain this repository.