X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-getter.src;h=8a7badf7476d440211637a49dba4fc51c0dbc434;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=8ba941fbdc451056bbee8721666f7a5456e3c89e;hpb=39d095f1be6af15e044793da5f1ca855f0861ed3;p=helm.git diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src index 8ba941fbd..8a7badf74 100644 --- a/helm/ocaml/METAS/meta.helm-getter.src +++ b/helm/ocaml/METAS/meta.helm-getter.src @@ -1,4 +1,4 @@ -requires="helm-urimanager pxp netclient" +requires="http unix pcre zip helm-xml helm-logger helm-urimanager helm-registry" version="0.0.1" archive(byte)="getter.cma" archive(native)="getter.cmxa"