/test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/

• ../
• run.sh
• time-of-build-pretty.log.expected
• time-of-build.log.in