]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/.depend
Added universes handling. The PRE_UNIVERSES tag may help ;)
[helm.git] / helm / ocaml / metadata / .depend
1 metadataExtractor.cmi: metadataTypes.cmo 
2 metadataPp.cmi: metadataTypes.cmo 
3 metadataConstraints.cmi: metadataTypes.cmo 
4 metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
5 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
6 metadataPp.cmo: metadataTypes.cmo metadataPp.cmi 
7 metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
8 metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
9     metadataDb.cmi 
10 metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
11     metadataDb.cmi 
12 metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmo \
13     metadataConstraints.cmi 
14 metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
15     metadataConstraints.cmi