These docker images are published on Docker Hub and can be used from there.
This repository contains the Dockerfiles used, they're based on the Debian packages.
The mercury repository contains a minimal installation.
- mercury:rotd tag (also mercury:latest)
The mercury-full repository contains a more "full" installation: as many grades as are built by the debian packages.
- mercury-full:rotd tag (also mercury-full:latest)