/ci/
../
manifest-opam
manifest-sources-8.11
smtcoq.docker