]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/META.in
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
[helm.git] / helm / DEVEL / lablgtkmathview / META.in
index f312805fdde0889e05b44ea680a334e9a93e00c4..4986552c63dad6708805a8094005c3566ce8e37d 100644 (file)
@@ -1,5 +1,5 @@
-requires="gdome2 lablgtk"
+requires="gdome2 lablgtk2"
 version="@VERSION@"
-archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
-archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+archive(byte)="@PACKAGE@.cma"
+archive(native)="@PACKAGE@.cmxa"
 linkopts=""