From 915501060a420a393173e155aab3544e60005889 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Jan 2004 18:07:41 +0000 Subject: [PATCH] added missing depending on (CSC's) helm-cic_textual_parser --- helm/ocaml/METAS/meta.helm-mathql.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src index df553d7d5..9e70c97ef 100644 --- a/helm/ocaml/METAS/meta.helm-mathql.src +++ b/helm/ocaml/METAS/meta.helm-mathql.src @@ -1,4 +1,4 @@ -requires="helm-urimanager" +requires="helm-urimanager helm-cic_textual_parser" version="1.3" archive(byte)="mathql.cma" archive(native)="mathql.cmxa" -- 2.39.2