matita/components/ng_extraction/.depend.opt

   1 nCicExtraction.cmi:
   2 coq.cmi:
   3 ocamlExtractionTable.cmi: miniml.cmx coq.cmi
   4 mlutil.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
   5 common.cmi: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
   6 extraction.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
   7 ocaml.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
   8 ocamlExtraction.cmi: ocamlExtractionTable.cmi
   9 miniml.cmo: coq.cmi
  10 miniml.cmx: coq.cmx
  11 nCicExtraction.cmo: nCicExtraction.cmi
  12 nCicExtraction.cmx: nCicExtraction.cmi
  13 coq.cmo: coq.cmi
  14 coq.cmx: coq.cmi
  15 ocamlExtractionTable.cmo: miniml.cmx coq.cmi ocamlExtractionTable.cmi
  16 ocamlExtractionTable.cmx: miniml.cmx coq.cmx ocamlExtractionTable.cmi
  17 mlutil.cmo: ocamlExtractionTable.cmi miniml.cmx coq.cmi mlutil.cmi
  18 mlutil.cmx: ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
  19 common.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi common.cmi
  20 common.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx common.cmi
  21 extraction.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \
  22     common.cmi extraction.cmi
  23 extraction.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
  24     common.cmx extraction.cmi
  25 ocaml.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi common.cmi \
  26     ocaml.cmi
  27 ocaml.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx common.cmx \
  28     ocaml.cmi
  29 ocamlExtraction.cmo: ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
  30     coq.cmi ocamlExtraction.cmi
  31 ocamlExtraction.cmx: ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
  32     coq.cmx ocamlExtraction.cmi