test branch

[helm.git] / helm / ocaml / deps.patch

diff --git a/helm/ocaml/deps.patch b/helm/ocaml/deps.patch
new file mode 100644 (file)
index 0000000..d7f9cf8
--- /dev/null
+++ b/helm/ocaml/deps.patch
@@ -0,0 +1,11 @@
+--- .dep.dot   2005-12-19 12:07:15.000000000 +0100
++++ .dep.dot.new       2005-12-19 12:08:10.000000000 +0100
+@@ -14,7 +14,7 @@
+ "cic_unification" -> "library";
+ "library" -> "metadata";
+ "library" -> "cic_acic";
+-"metadata" -> "cic_proof_checking";
++"metadata" -> "cic";
+ "metadata" -> "hmysql";
+ "grafite" -> "content_pres";
+ "content_pres" -> "utf8_macros";