X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2FMETAS%2Fmeta.helm-grafite_parser.src;h=d921b55889574bd0b971f5262a156e6794a9a217;hb=acd31bfb9537bd32781404241c80bd0ebf88e3b1;hp=389007b5b4bfef8984b257f347d15037b6540668;hpb=a58d25c192ff13ecee2cb92f07ee6f1cbe5219b5;p=helm.git diff --git a/helm/ocaml/METAS/meta.helm-grafite_parser.src b/helm/ocaml/METAS/meta.helm-grafite_parser.src index 389007b5b..d921b5588 100644 --- a/helm/ocaml/METAS/meta.helm-grafite_parser.src +++ b/helm/ocaml/METAS/meta.helm-grafite_parser.src @@ -1,4 +1,4 @@ -requires="helm-grafite2" +requires="helm-lexicon helm-grafite ulex" version="0.0.1" archive(byte)="grafite_parser.cma" archive(native)="grafite_parser.cmxa"