helm/ocaml/grafite/.depend

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