matita/components/grafite_engine/.depend.opt

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