From ddad59d77fe712c02910645f10185cefd5c2c1cf Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 Sep 2005 17:04:54 +0000 Subject: [PATCH] cic_textual_parser2 ==> cic_disambiguation --- helm/ocaml/METAS/meta.helm-cic_disambiguation.src | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src index 19c983609..d4c29fd78 100644 --- a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src +++ b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src @@ -1,3 +1,4 @@ -description="alias for helm-cic_textual_parser2" -requires="helm-cic_textual_parser2" +requires="helm-tactics helm-cic_transformations" version="0.0.1" +archive(byte)="cic_disambiguation.cma" +archive(native)="cic_disambiguation.cmxa" -- 2.39.2