/config/

• ../
• Makefile.template
• coq_config.mli
• giveostype.ml