]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/.depend
test branch
[helm.git] / helm / ocaml / extlib / .depend
diff --git a/helm/ocaml/extlib/.depend b/helm/ocaml/extlib/.depend
new file mode 100644 (file)
index 0000000..b11273f
--- /dev/null
@@ -0,0 +1,10 @@
+hExtlib.cmo: hExtlib.cmi 
+hExtlib.cmx: hExtlib.cmi 
+hMarshal.cmo: hExtlib.cmi hMarshal.cmi 
+hMarshal.cmx: hExtlib.cmx hMarshal.cmi 
+patternMatcher.cmo: patternMatcher.cmi 
+patternMatcher.cmx: patternMatcher.cmi 
+hLog.cmo: hLog.cmi 
+hLog.cmx: hLog.cmi 
+trie.cmo: trie.cmi 
+trie.cmx: trie.cmi