X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fextlib%2F.depend.opt;fp=components%2Fextlib%2F.depend.opt;h=6d96e61e208bef26caadc6f9c5f7c049cf588648;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/extlib/.depend.opt b/components/extlib/.depend.opt
new file mode 100644
index 000000000..6d96e61e2
--- /dev/null
+++ b/components/extlib/.depend.opt
@@ -0,0 +1,18 @@
+componentsConf.cmo: componentsConf.cmi 
+componentsConf.cmx: componentsConf.cmi 
+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 
+hTopoSort.cmo: hTopoSort.cmi 
+hTopoSort.cmx: hTopoSort.cmi 
+refCounter.cmo: refCounter.cmi 
+refCounter.cmx: refCounter.cmi 
+graphvizPp.cmo: graphvizPp.cmi 
+graphvizPp.cmx: graphvizPp.cmi