From 98016b0996c55891b7fbf85d0ead98235441b14f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 7 Jul 2005 08:08:08 +0000 Subject: [PATCH] removed gdom2 dep --- helm/ocaml/METAS/meta.helm-cic_transformations.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/METAS/meta.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src index 6b561d824..375ce4237 100644 --- a/helm/ocaml/METAS/meta.helm-cic_transformations.src +++ b/helm/ocaml/METAS/meta.helm-cic_transformations.src @@ -1,4 +1,4 @@ -requires="helm-utf8_macros helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt" +requires="helm-utf8_macros helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2" version="0.0.1" archive(byte)="cic_transformations.cma" archive(native)="cic_transformations.cmxa" -- 2.39.5