X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fliblablgtkmathview-ocaml-dev.install;h=79836154a26190c1c3562c2ba30c52c7a7cd0564;hb=c0c56a8f8ad4d177fbd4025a92fb5317240b33fe;hp=2a66db0dba056ed593b5529b5ab463e78893ef5c;hpb=772759700bc596cdb7b0dd652dff342d8d355956;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..79836154a 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.0/lablgtkmathview/*.a
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cma
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmi
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/META
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.ml
+debian/tmp/usr/lib/ocaml/3.09.0/lablgtkmathview/*.mli