X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fliblablgtkmathview-ocaml.install;h=5c89694bb9cab239381721ce45b5b595638a7c9f;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=6657f706e93d7fd5edfadb186e78681d49809f60;hpb=5c99f78f510b49bc1bcf95d430c98bb18826c63f;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install
index 6657f706e..5c89694bb 100644
--- a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install
+++ b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install
@@ -1,2 +1 @@
-usr/lib/ocaml/3.08/lablgtkmathview/*.so
-usr/lib/ocaml/3.08/stublibs/*
+debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.so