/test-suite/coq-makefile/template/src/

• ../
• test.ml4
• test.mli
• test_aux.ml
• test_aux.mli
• test_plugin.mlpack