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