From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Feb 2004 17:05:44 +0000 (+0000)
Subject: added netstring and pxp deps
X-Git-Tag: V_0_3_0~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=137f750e5493d085d4479cf8621183668ef06633;p=helm.git

added netstring and pxp deps
---

diff --git a/helm/ocaml/METAS/meta.helm-registry.src b/helm/ocaml/METAS/meta.helm-registry.src
index eacebeff7..b45bd297d 100644
--- a/helm/ocaml/METAS/meta.helm-registry.src
+++ b/helm/ocaml/METAS/meta.helm-registry.src
@@ -1,4 +1,4 @@
-requires="pcre"
+requires="pcre netstring pxp"
 version="0.0.1"
 archive(byte)="registry.cma"
 archive(native)="registry.cmxa"