This repository gathers definitions of (unofficial) Docker images for various versions of the Coq proof assistant as well as of the MathComp library.
These images are based on Debian 9 and are especially intended to be used for Docker-based CI tests of Coq libraries.