X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETA.helm-pxp;h=68bdbf29117784bd5f132fb9ba53a96f6acf65ae;hb=8efd7ae18e1a9555e66254a39afadce56b74c42d;hp=1a5b024632c76f2ac019c0574e2c2ba1d08ac890;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/META.helm-pxp b/helm/ocaml/META.helm-pxp
index 1a5b02463..68bdbf291 100644
--- a/helm/ocaml/META.helm-pxp
+++ b/helm/ocaml/META.helm-pxp
@@ -1,6 +1,6 @@
 requires="helm-getter"
 version="0.0.1"
-archive(byte)="csc_pxp_reader.cmo pxpUriResolver.cmo"
-archive(native)="csc_pxp_reader.cmx pxpUriResolver.cmx"
+archive(byte)="pxp.cma"
+archive(native)="pxp.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/pxp"
+directory="/home/sacerdot/miohelm/helm/ocaml/pxp"