/test-suite/coq-makefile/uninstall2/

• ../
• _CoqProject
• run.sh