]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install
Dead code removed.
[helm.git] / helm / DEVEL / lablgtkmathview / debian / liblablgtkmathview-ocaml-dev.install
index 2a66db0dba056ed593b5529b5ab463e78893ef5c..5a9f2278d89bc61c447dad72e35dc282f091028c 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.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