X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fdeps.patch;fp=helm%2Focaml%2Fdeps.patch;h=d7f9cf8c9edf269daf269a4fee5d15a12cc59b37;hp=0000000000000000000000000000000000000000;hb=792b5d29ebae8f917043d9dd226692919b5d6ca1;hpb=a14a8c7637fd0b95e9d4deccb20c6abc98e8f953

diff --git a/helm/ocaml/deps.patch b/helm/ocaml/deps.patch
new file mode 100644
index 000000000..d7f9cf8c9
--- /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";