helm/ocaml/grafite2/.depend

   1 matitaSync.cmi: grafiteTypes.cmi
   2 grafiteEngine.cmi: grafiteTypes.cmi
   3 grafiteTypes.cmo: grafiteTypes.cmi
   4 grafiteTypes.cmx: grafiteTypes.cmi
   5 disambiguatePp.cmo: disambiguatePp.cmi
   6 disambiguatePp.cmx: disambiguatePp.cmi
   7 matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi
   8 matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi
   9 grafiteMisc.cmo: grafiteMisc.cmi
  10 grafiteMisc.cmx: grafiteMisc.cmi
  11 grafiteEngine.cmo: matitaSync.cmi grafiteTypes.cmi grafiteMisc.cmi \
  12     grafiteEngine.cmi
  13 grafiteEngine.cmx: matitaSync.cmx grafiteTypes.cmx grafiteMisc.cmx \
  14     grafiteEngine.cmi