matita/components/ng_extraction/.depend.opt

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