coqdep.cmo: ../../src/config/coq_config.cmi init.cmo lex_cld.cmo lex_coq.cmo 
coqdep.cmx: ../../src/config/coq_config.cmx init.cmx lex_cld.cmx lex_coq.cmx 
init.cmo: ../../src/config/coq_config.cmi 
init.cmx: ../../src/config/coq_config.cmx 
lex_cld.cmo: init.cmo 
lex_cld.cmx: init.cmx 
lex_coq.cmo: init.cmo 
lex_coq.cmx: init.cmx 
