First attempt at svn commit of developments.

[helm.git] / matitaB / components / METAS / meta.helm-extlib.src

diff --git a/matitaB/components/METAS/meta.helm-extlib.src b/matitaB/components/METAS/meta.helm-extlib.src
index a355cb2da4e071971a90e7cf410d1cb709419200..d0cd02bf4c0bfb5b66ebd91da5f7d7d89738faef 100644 (file)
--- a/matitaB/components/METAS/meta.helm-extlib.src
+++ b/matitaB/components/METAS/meta.helm-extlib.src
@@ -1,4 +1,4 @@
-requires="str unix camlp5.gramlib"
+requires="str unix camlp5.gramlib netstring"
 version="0.0.1"
 archive(byte)="extlib.cma"
 archive(native)="extlib.cmxa"