]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / debian / liblablgtksourceview-ocaml.install
index 4565d7c33d4e0283e9be5c4405ac46aeff4b5c9c..8ece11addc413135929119d1c07e2968c77caa3f 100644 (file)
@@ -1 +1 @@
-debian/tmp/lablgtksourceview/*.so     usr/lib/ocaml/3.08.3/stublibs/
+debian/tmp/lablgtksourceview/*.so     usr/lib/ocaml/3.09.0/stublibs/