-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 \
+common.cmx : \
+ ocamlExtractionTable.cmx \
+ mlutil.cmx \
+ coq.cmx \
+ common.cmi
+common.cmi : \
+ ocamlExtractionTable.cmi \
+ coq.cmi
+coq.cmx : \
+ coq.cmi
+coq.cmi :
+extraction.cmx : \
+ ocamlExtractionTable.cmx \
+ mlutil.cmx \
+ miniml.cmx \
+ coq.cmx \
+ common.cmx \
+ extraction.cmi
+extraction.cmi : \
+ ocamlExtractionTable.cmi \
+ miniml.cmx
+miniml.cmx : \
+ coq.cmx
+mlutil.cmx : \
+ ocamlExtractionTable.cmx \
+ miniml.cmx \
+ coq.cmx \
+ mlutil.cmi
+mlutil.cmi : \
+ ocamlExtractionTable.cmi \
+ miniml.cmx \
+ coq.cmi
+nCicExtraction.cmx : \
+ nCicExtraction.cmi
+nCicExtraction.cmi :
+ocaml.cmx : \
+ ocamlExtractionTable.cmx \
+ mlutil.cmx \
+ miniml.cmx \
+ coq.cmx \
+ common.cmx \