helm/software/components/STATS/deps.patch

   1 --- .clustersdep.dot    2006-01-26 10:10:46.000000000 +0100
   2 +++ .clustersdep.new    2006-01-26 10:10:44.000000000 +0100
   3 @@ -1,11 +1,8 @@
   4  digraph G {
   5    xml [label="xml\n.5 klocs"];
   6 -  xmldiff [label="xmldiff\n.3 klocs"];
   7    whelp [label="whelp\n.3 klocs"];
   8    utf8_macros [label="utf8_macros\n.2 klocs"];
   9    urimanager [label="urimanager\n.2 klocs"];
  10 -  thread [label="thread\n.2 klocs"];
  11 -  paramodulation [label="paramodulation\n5.9 klocs"];
  12    tactics [label="tactics\n10.0 klocs"];
  13    registry [label="registry\n.6 klocs"];
  14    metadata [label="metadata\n1.9 klocs"];
  15 @@ -42,7 +39,7 @@
  16  "cic_unification" -> "library";
  17  "library" -> "metadata";
  18  "library" -> "cic_acic";
  19 -"metadata" -> "cic_proof_checking";
  20 +"metadata" -> "cic";
  21  "metadata" -> "hmysql";
  22  "grafite" -> "cic";
  23  "content_pres" -> "utf8_macros";