This repository provides a Dockerfile to build a Docker Image for Coq with support for the Extension Coq Equations. It is based on an already existing Docker image for Coq.
The compiled image can be found on Docker Hub. You can pull it via the following command:
docker pull motrellin/docker-coq-equations