X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fliblablgtkmathview-ocaml-dev.install;h=5a9f2278d89bc61c447dad72e35dc282f091028c;hb=339af4cc4fb745a8b284bde75b36178a26055468;hp=2a66db0dba056ed593b5529b5ab463e78893ef5c;hpb=e6b28085c97ae7b9bd3f3262b105f6b84f42b047;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
index 2a66db0db..5a9f2278d 100644
--- a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
+++ b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
@@ -1,7 +1,7 @@
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.a
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cma
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cmi
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.cmxa
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/META
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.ml
-debian/tmp/usr/lib/ocaml/3.08.3/lablgtkmathview/*.mli
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.a
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cma
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmi
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/META
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.ml
+debian/tmp/usr/lib/ocaml/3.09.1/lablgtkmathview/*.mli