/test-suite/coq-makefile/timing/after/
../
Fast.v
Slow.v
_CoqProject
time-of-build-after.log.desired
time-of-build-before.log.desired
time-of-build-both.log.desired