]> matita.cs.unibo.it Git - helm.git/commitdiff
added dep on expat
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:56:19 +0000 (10:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:56:19 +0000 (10:56 +0000)
helm/ocaml/METAS/meta.helm-xml.src

index 7330c766ce0bba0ab653ab61f038c1e1884f06fc..933038f79f90a2bc273c8604d7f5681f3f1548da 100644 (file)
@@ -1,4 +1,4 @@
-requires="zip"
+requires="zip expat"
 version="0.0.1"
 archive(byte)="xml.cma"
 archive(native)="xml.cmxa"