1 common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
3 common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmx 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
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
14 ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
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