]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/META.in
...
[helm.git] / helm / DEVEL / lablgtkmathview / META.in
index ef5298f15cf2470f8ca80ccdd10e49e665cdbbaf..84d671aee38f01771b4de024aa946d2d11301b72 100644 (file)
@@ -1,5 +1,5 @@
-requires="mlminidom lablgtk"
+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=""