matita/components/grafite/.depend

   1 grafiteAstPp.cmi: grafiteAst.cmo
   2 grafiteMarshal.cmi: grafiteAst.cmo
   3 grafiteAst.cmo:
   4 grafiteAst.cmx:
   5 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi
   6 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi
   7 grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi
   8 grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi