X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2FMETAS%2Fmeta.helm-xml.src;h=7330c766ce0bba0ab653ab61f038c1e1884f06fc;hb=7e9904185ceff75884783dbf0bad506b8521b857;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..7330c766c 100644 --- a/helm/ocaml/METAS/meta.helm-xml.src +++ b/helm/ocaml/METAS/meta.helm-xml.src @@ -1,4 +1,4 @@ -requires="" +requires="zip" version="0.0.1" archive(byte)="xml.cma" archive(native)="xml.cmxa"