X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMETA.in;h=84d671aee38f01771b4de024aa946d2d11301b72;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=f312805fdde0889e05b44ea680a334e9a93e00c4;hpb=8e69e53f37a1f8ee35fea2a9274ec49eb5d8d5c8;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/META.in b/helm/DEVEL/lablgtkmathview/META.in
index f312805fd..84d671aee 100644
--- a/helm/DEVEL/lablgtkmathview/META.in
+++ b/helm/DEVEL/lablgtkmathview/META.in
@@ -1,5 +1,5 @@
 requires="gdome2 lablgtk"
 version="@VERSION@"
-archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
-archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+archive(byte)="lablgtkmathview.cma"
+archive(native)="lablgtkmathview.cmxa"
 linkopts=""