1 grafiteAstPp.cmi: grafiteAst.cmo
2 grafiteParser.cmi: grafiteAst.cmo
3 cicNotation.cmi: grafiteAst.cmo
4 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi
5 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi
6 grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi
7 grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi
8 cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi
9 cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi