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

diff --git a/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install b/helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
index 79836154a..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.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
+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