From 761615c511a062d02c19aa1099318bc6d492b5cf Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 11 Feb 2004 12:02:23 +0000 Subject: [PATCH] new metas (getter's backend, registry, logger, and the hell) --- helm/ocaml/METAS/meta.helm-cic_annotations_cache.src | 2 +- helm/ocaml/METAS/meta.helm-cic_cache.src | 2 +- helm/ocaml/METAS/meta.helm-cic_proof_checking.src | 2 +- helm/ocaml/METAS/meta.helm-cic_transformations.src | 2 +- helm/ocaml/METAS/meta.helm-getter.src | 2 +- helm/ocaml/METAS/meta.helm-logger.src | 2 +- helm/ocaml/METAS/meta.helm-pxp.src | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src index 38f5d1da9..f21ea6d02 100644 --- a/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src +++ b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src @@ -1,4 +1,4 @@ -requires="helm-cic_annotations" +requires="helm-cic_annotations helm-getter" version="0.0.1" archive(byte)="cic_annotations_cache.cma" archive(native)="cic_annotations_cache.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-cic_cache.src b/helm/ocaml/METAS/meta.helm-cic_cache.src index 28ea57e35..6aacb1ae2 100644 --- a/helm/ocaml/METAS/meta.helm-cic_cache.src +++ b/helm/ocaml/METAS/meta.helm-cic_cache.src @@ -1,4 +1,4 @@ -requires="helm-cic" +requires="helm-cic helm-getter" version="0.0.1" archive(byte)="cic_cache.cma" archive(native)="cic_cache.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src index 08b099ec3..223a182a9 100644 --- a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src +++ b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src @@ -1,4 +1,4 @@ -requires="helm-cic" +requires="helm-cic helm-logger helm-getter" version="0.0.1" archive(byte)="cic_proof_checking.cma" archive(native)="cic_proof_checking.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src index 44bb0999c..213f09234 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-xml helm-cic_proof_checking helm-cic_omdoc gdome2-xslt" +requires="helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt" version="0.0.1" archive(byte)="cic_transformations.cma" archive(native)="cic_transformations.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src index a2ff9433d..354976371 100644 --- a/helm/ocaml/METAS/meta.helm-getter.src +++ b/helm/ocaml/METAS/meta.helm-getter.src @@ -1,4 +1,4 @@ -requires="helm-urimanager pxp http" +requires="http dbm pcre pxp shell zip helm-logger helm-thread helm-urimanager helm-registry" version="0.0.1" archive(byte)="getter.cma" archive(native)="getter.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-logger.src b/helm/ocaml/METAS/meta.helm-logger.src index be0d891d8..5b2e8d8ff 100644 --- a/helm/ocaml/METAS/meta.helm-logger.src +++ b/helm/ocaml/METAS/meta.helm-logger.src @@ -1,4 +1,4 @@ -requires="lablgtk2 helm-urimanager" +requires="" version="0.0.1" archive(byte)="logger.cma" archive(native)="logger.cmxa" diff --git a/helm/ocaml/METAS/meta.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src index 33210a77d..1a05b5459 100644 --- a/helm/ocaml/METAS/meta.helm-pxp.src +++ b/helm/ocaml/METAS/meta.helm-pxp.src @@ -1,4 +1,4 @@ -requires="helm-getter" +requires="helm-getter pxp" version="0.0.1" archive(byte)="pxp.cma" archive(native)="pxp.cmxa" -- 2.39.2