/dev/ci/docker/bionic_coq/
../
Dockerfile