matita/components/ng_extraction/.depend.opt

   1 common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
   2     common.cmi
   3 common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
   4 coq.cmx : coq.cmi
   5 coq.cmi :
   6 extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
   7     common.cmx extraction.cmi
   8 extraction.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
   9 miniml.cmx : coq.cmx
  10 mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
  11 mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
  12 nCicExtraction.cmx : nCicExtraction.cmi
  13 nCicExtraction.cmi :
  14 ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
  15     common.cmx ocaml.cmi
  16 ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
  17 ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
  18     coq.cmx ocamlExtraction.cmi
  19 ocamlExtraction.cmi : ocamlExtractionTable.cmi
  20 ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
  21 ocamlExtractionTable.cmi : miniml.cmx coq.cmi