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=7330c766ce0bba0ab653ab61f038c1e1884f06fc;hpb=cdef799a0e2e3c7db8bb2b95cd124767a4126c61;p=helm.git diff --git a/helm/ocaml/METAS/meta.helm-xml.src b/helm/ocaml/METAS/meta.helm-xml.src index 7330c766c..626e644fc 100644 --- a/helm/ocaml/METAS/meta.helm-xml.src +++ b/helm/ocaml/METAS/meta.helm-xml.src @@ -1,4 +1,4 @@ -requires="zip" +requires="zip expat helm-extlib" version="0.0.1" archive(byte)="xml.cma" archive(native)="xml.cmxa"