]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/METAS/meta.helm-mathql.src
ocaml 3.09 transition
[helm.git] / helm / ocaml / METAS / meta.helm-mathql.src
index 9e70c97effa987881ceb1fde56bc6604f7f1abc4..df553d7d522c8d180011d5add629936f10684bfd 100644 (file)
@@ -1,4 +1,4 @@
-requires="helm-urimanager helm-cic_textual_parser"
+requires="helm-urimanager"
 version="1.3"
 archive(byte)="mathql.cma"
 archive(native)="mathql.cmxa"