From 3367d70259e6fe6737dbf9c6b5cf01a5b8282f3e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 14 Jun 2005 11:15:38 +0000 Subject: [PATCH] removed dependencies on Pxp --- helm/ocaml/METAS/meta.helm-cic.src | 2 +- helm/ocaml/METAS/meta.helm-getter.src | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/METAS/meta.helm-cic.src b/helm/ocaml/METAS/meta.helm-cic.src index 946dfeae2..525cc9c22 100644 --- a/helm/ocaml/METAS/meta.helm-cic.src +++ b/helm/ocaml/METAS/meta.helm-cic.src @@ -1,4 +1,4 @@ -requires="helm-urimanager helm-pxp helm-xml expat" +requires="helm-urimanager helm-xml expat" version="0.0.1" archive(byte)="cic.cma" archive(native)="cic.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src index 14c542836..cb6d0a0e9 100644 --- a/helm/ocaml/METAS/meta.helm-getter.src +++ b/helm/ocaml/METAS/meta.helm-getter.src @@ -1,4 +1,4 @@ -requires="http dbm pcre shell zip helm-pxp helm-logger helm-thread helm-urimanager helm-registry" +requires="http dbm pcre shell zip helm-xml helm-logger helm-thread helm-urimanager helm-registry" version="0.0.1" archive(byte)="getter.cma" archive(native)="getter.cmxa" -- 2.39.2