X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-xml.src;h=933038f79f90a2bc273c8604d7f5681f3f1548da;hb=f981a524748846acc29b76b6e616af110b4ee13d;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..933038f79 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" version="0.0.1" archive(byte)="xml.cma" archive(native)="xml.cmxa"