helm/ocaml/deps.patch

   1 --- .dep.dot    2005-12-19 12:07:15.000000000 +0100
   2 +++ .dep.dot.new        2005-12-19 12:08:10.000000000 +0100
   3 @@ -14,7 +14,7 @@
   4  "cic_unification" -> "library";
   5  "library" -> "metadata";
   6  "library" -> "cic_acic";
   7 -"metadata" -> "cic_proof_checking";
   8 +"metadata" -> "cic";
   9  "metadata" -> "hmysql";
  10  "grafite" -> "content_pres";
  11  "content_pres" -> "utf8_macros";