From: Stefano Zacchiroli Date: Tue, 10 May 2005 10:56:19 +0000 (+0000) Subject: added dep on expat X-Git-Tag: single_binding~94 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=46bc51463c1fbf4490837ba5c54ee45440d12092;p=helm.git added dep on expat --- 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"