/test-suite/coq-makefile/findlib-package/findlib/foo/
../
META
Makefile
foo.mli
foolib.ml