X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-registry.src;h=82d3640163ec59811ce3ee442b70a1b0f8eb323c;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=eacebeff7feb4f1521093dfdb07a26ae29aa354a;hpb=49ef13c7e0cdfd52a8e3b0678f4fdbf3cb93901f;p=helm.git diff --git a/helm/ocaml/METAS/meta.helm-registry.src b/helm/ocaml/METAS/meta.helm-registry.src index eacebeff7..82d364016 100644 --- a/helm/ocaml/METAS/meta.helm-registry.src +++ b/helm/ocaml/METAS/meta.helm-registry.src @@ -1,4 +1,4 @@ -requires="pcre" +requires="str netstring helm-xml" version="0.0.1" archive(byte)="registry.cma" archive(native)="registry.cmxa"