/test-suite/coq-makefile/timing/before/
../
Fast.v
Slow.v
_CoqProject