X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-xml.src;h=626e644fcf14e5dba0c9ffe6c126b3fc173259ab;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1cd68fed8f6edf9aae44924e0fc3657a53952926;hpb=39d095f1be6af15e044793da5f1ca855f0861ed3;p=helm.git diff --git a/helm/ocaml/METAS/meta.helm-xml.src b/helm/ocaml/METAS/meta.helm-xml.src index 1cd68fed8..626e644fc 100644 --- a/helm/ocaml/METAS/meta.helm-xml.src +++ b/helm/ocaml/METAS/meta.helm-xml.src @@ -1,4 +1,4 @@ -requires="" +requires="zip expat helm-extlib" version="0.0.1" archive(byte)="xml.cma" archive(native)="xml.cmxa"