/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/

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