From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Jan 2004 11:51:39 +0000 (+0000)
Subject: helm registry's META
X-Git-Tag: V_0_2_3~136
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=49ef13c7e0cdfd52a8e3b0678f4fdbf3cb93901f;p=helm.git

helm registry's META
---

diff --git a/helm/ocaml/METAS/meta.helm-registry.src b/helm/ocaml/METAS/meta.helm-registry.src
new file mode 100644
index 000000000..eacebeff7
--- /dev/null
+++ b/helm/ocaml/METAS/meta.helm-registry.src
@@ -0,0 +1,4 @@
+requires="pcre"
+version="0.0.1"
+archive(byte)="registry.cma"
+archive(native)="registry.cmxa"