]> 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 6657f706e93d7fd5edfadb186e78681d49809f60..8ece11addc413135929119d1c07e2968c77caa3f 100644 (file)
@@ -1,2 +1 @@
-usr/lib/ocaml/3.08/lablgtkmathview/*.so
-usr/lib/ocaml/3.08/stublibs/*
+debian/tmp/lablgtksourceview/*.so     usr/lib/ocaml/3.09.0/stublibs/