From 54f8a161f9a4a23c6bde36db3ff5ad5562be209b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 27 Jul 2005 07:55:28 +0000 Subject: [PATCH] fixed cic_notation dependencies --- helm/ocaml/METAS/meta.helm-cic_notation.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/METAS/meta.helm-cic_notation.src b/helm/ocaml/METAS/meta.helm-cic_notation.src index 255652e61..332714edf 100644 --- a/helm/ocaml/METAS/meta.helm-cic_notation.src +++ b/helm/ocaml/METAS/meta.helm-cic_notation.src @@ -1,4 +1,4 @@ -requires="helm-utf8_macros camlp4.gramlib" +requires="helm-cic helm-utf8_macros camlp4.gramlib helm-cic_proof_checking ulex" version="0.0.1" archive(byte)="cic_notation.cma" archive(native)="cic_notation.cmxa" -- 2.39.2