]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
added helm-metadata module
[helm.git] / helm / ocaml / metadata / .depend
diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend
new file mode 100644 (file)
index 0000000..f25f462
--- /dev/null
@@ -0,0 +1,8 @@
+metadataExtractor.cmi: metadataTypes.cmo 
+metadataPp.cmi: metadataTypes.cmo 
+metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
+metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
+metadataPp.cmo: metadataPp.cmi 
+metadataPp.cmx: metadataPp.cmi 
+metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataDb.cmi 
+metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataDb.cmi