3 ocamlExtractionTable.cmi : miniml.cmo coq.cmi
4 mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
5 common.cmi : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi
6 extraction.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
7 ocaml.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
8 ocamlExtraction.cmi : ocamlExtractionTable.cmi
11 nCicExtraction.cmo : nCicExtraction.cmi
12 nCicExtraction.cmx : nCicExtraction.cmi
15 ocamlExtractionTable.cmo : miniml.cmo coq.cmi ocamlExtractionTable.cmi
16 ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
17 mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi
18 mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
19 common.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
21 common.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
23 extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
24 common.cmi extraction.cmi
25 extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
26 common.cmx extraction.cmi
27 ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
29 ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
31 ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
32 coq.cmi ocamlExtraction.cmi
33 ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
34 coq.cmx ocamlExtraction.cmi