X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETA.helm-xml;h=7f59db45da6b5e6d58c0916ab55117d2ff10cb11;hb=e97039cc9e0a8e4f992c712a1ccf47c801e1abcc;hp=616b5f186b2b47ccbb4469f93392776c77966006;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/META.helm-xml b/helm/ocaml/META.helm-xml
index 616b5f186..7f59db45d 100644
--- a/helm/ocaml/META.helm-xml
+++ b/helm/ocaml/META.helm-xml
@@ -1,6 +1,6 @@
 requires=""
 version="0.0.1"
-archive(byte)="xml.cmo"
-archive(native)="xml.cmx"
+archive(byte)="xml.cma"
+archive(native)="xml.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/xml"
+directory="/home/sacerdot/miohelm/helm/ocaml/xml"