some missing files ...

[helm.git] / matita / components / ng_extraction / .depend.opt

diff --git a/matita/components/ng_extraction/.depend.opt b/matita/components/ng_extraction/.depend.opt
new file mode 100644 (file)
index 0000000..5900531
--- /dev/null
+++ b/matita/components/ng_extraction/.depend.opt
@@ -0,0 +1,32 @@
+nCicExtraction.cmi:
+coq.cmi:
+ocamlExtractionTable.cmi: miniml.cmx coq.cmi
+mlutil.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
+common.cmi: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi
+extraction.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocaml.cmi: ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocamlExtraction.cmi: ocamlExtractionTable.cmi
+miniml.cmo: coq.cmi
+miniml.cmx: coq.cmx
+nCicExtraction.cmo: nCicExtraction.cmi
+nCicExtraction.cmx: nCicExtraction.cmi
+coq.cmo: coq.cmi
+coq.cmx: coq.cmi
+ocamlExtractionTable.cmo: miniml.cmx coq.cmi ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx: miniml.cmx coq.cmx ocamlExtractionTable.cmi
+mlutil.cmo: ocamlExtractionTable.cmi miniml.cmx coq.cmi mlutil.cmi
+mlutil.cmx: ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
+common.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi common.cmi
+common.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx common.cmi
+extraction.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi \
+    common.cmi extraction.cmi
+extraction.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+    common.cmx extraction.cmi
+ocaml.cmo: ocamlExtractionTable.cmi mlutil.cmi miniml.cmx coq.cmi common.cmi \
+    ocaml.cmi
+ocaml.cmx: ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx common.cmx \
+    ocaml.cmi
+ocamlExtraction.cmo: ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
+    coq.cmi ocamlExtraction.cmi
+ocamlExtraction.cmx: ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
+    coq.cmx ocamlExtraction.cmi