grafiteAstPp.cmi: grafiteAst.cmo 
grafiteParser.cmi: grafiteAst.cmo 
cicNotation.cmi: grafiteAst.cmo 
grafiteMarshal.cmi: grafiteAst.cmo 
grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi 
grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi 
cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi 
cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi 
grafiteMarshal.cmo: grafiteAst.cmo grafiteMarshal.cmi 
grafiteMarshal.cmx: grafiteAst.cmx grafiteMarshal.cmi