matita/components/extlib/.depend.opt

   1 componentsConf.cmx : \
   2     componentsConf.cmi
   3 componentsConf.cmi :
   4 discrimination_tree.cmx : \
   5     trie.cmx \
   6     hExtlib.cmx \
   7     discrimination_tree.cmi
   8 discrimination_tree.cmi :
   9 graphvizPp.cmx : \
  10     graphvizPp.cmi
  11 graphvizPp.cmi :
  12 hExtlib.cmx : \
  13     hExtlib.cmi
  14 hExtlib.cmi :
  15 hLog.cmx : \
  16     hLog.cmi
  17 hLog.cmi :
  18 hMarshal.cmx : \
  19     hExtlib.cmx \
  20     hMarshal.cmi
  21 hMarshal.cmi :
  22 hTopoSort.cmx : \
  23     hTopoSort.cmi
  24 hTopoSort.cmi :
  25 patternMatcher.cmx : \
  26     patternMatcher.cmi
  27 patternMatcher.cmi :
  28 trie.cmx : \
  29     trie.cmi
  30 trie.cmi :