X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fdebian%2Fliblablgtksourceview-ocaml-dev.install;h=b4f781202b340784e48f1a5918e6b9608f6588fd;hb=259161c5fe5925d08f059e6832ac7f998c7ef055;hp=ff039c3ef42b482f4967ca95c5b055099b0ba298;hpb=5abf4df5707dd66f6ff9a46d11ceb109f248120f;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install
index ff039c3ef..b4f781202 100644
--- a/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install
+++ b/helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install
@@ -1,7 +1,7 @@
-debian/tmp/lablgtksourceview/*.a      usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/*.cma    usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/*.cmi    usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/*.cmxa   usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/META     usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/*.mli    usr/lib/ocaml/3.08.3/lablgtksourceview/
-debian/tmp/lablgtksourceview/*.o      usr/lib/ocaml/3.08.3/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.a      usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.cma    usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.cmi    usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.cmxa   usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/META     usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.mli    usr/lib/ocaml/3.09.1/lablgtksourceview/
+debian/tmp/lablgtksourceview/*.o      usr/lib/ocaml/3.09.1/lablgtksourceview/