]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/.depend
fix for instance
[helm.git] / helm / ocaml / metadata / .depend
1 metadataExtractor.cmi: metadataTypes.cmi 
2 metadataPp.cmi: metadataTypes.cmi 
3 metadataConstraints.cmi: metadataTypes.cmi 
4 metadataTypes.cmo: metadataTypes.cmi 
5 metadataTypes.cmx: metadataTypes.cmi 
6 metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
7 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
8 metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
9 metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
10 metadataConstraints.cmo: metadataTypes.cmi metadataPp.cmi \
11     metadataConstraints.cmi 
12 metadataConstraints.cmx: metadataTypes.cmx metadataPp.cmx \
13     metadataConstraints.cmi 
14 metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
15     metadataConstraints.cmi metadataDb.cmi 
16 metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
17     metadataConstraints.cmx metadataDb.cmi