helm/software/components/tptp_grafite/.depend

   1 parser.cmi: ast.cmo
   2 parserTHF.cmi: astTHF.cmo
   3 tptp2grafite.cmi:
   4 ast.cmo:
   5 ast.cmx:
   6 lexer.cmo: parser.cmi
   7 lexer.cmx: parser.cmx
   8 astTHF.cmo:
   9 astTHF.cmx:
  10 lexerTHF.cmo: parserTHF.cmi
  11 lexerTHF.cmx: parserTHF.cmx
  12 parser.cmo: ast.cmo parser.cmi
  13 parser.cmx: ast.cmx parser.cmi
  14 parserTHF.cmo: astTHF.cmo parserTHF.cmi
  15 parserTHF.cmx: astTHF.cmx parserTHF.cmi
  16 tptp2grafite.cmo: parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi
  17 tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi