X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMETAS%2Fmeta.helm-lexicon.src;h=a985931330647b5bbb7dd81a894c5fe4510f4411;hb=95adf6dc8e29a71adc34e71eafe3f427990126e0;hp=741fd603e024df08549b83b54d570a8c40304d74;hpb=683978a2627cf1ce15673360f26806593d22f7b5;p=helm.git diff --git a/helm/software/components/METAS/meta.helm-lexicon.src b/helm/software/components/METAS/meta.helm-lexicon.src index 741fd603e..a98593133 100644 --- a/helm/software/components/METAS/meta.helm-lexicon.src +++ b/helm/software/components/METAS/meta.helm-lexicon.src @@ -1,4 +1,4 @@ -requires="helm-content_pres helm-cic_disambiguation camlp5.gramlib" +requires="helm-content_pres helm-ng_library helm-cic_disambiguation camlp5.gramlib" version="0.0.1" archive(byte)="lexicon.cma" archive(native)="lexicon.cmxa"