]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview / debian / liblablgtkmathview-ocaml-dev.install
index 2a66db0dba056ed593b5529b5ab463e78893ef5c..79836154a26190c1c3562c2ba30c52c7a7cd0564 100644 (file)
@@ -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