coq_config.cmo: coq_config.ml coq_config.cmi
coq_config.cmx: coq_config.ml coq_config.cmi
coq_config.cmi: coq_config.mli
