Dockerfile to test the Coq Opam repository