X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Flibgdome2-xslt-ocaml-dev.dirs;h=f552f091a2effa1c6455bdc70b5a38943b020374;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=8fd99951383753f9b700b1d7fb1879c0c8c524a8;hpb=5c054b619496b6d6175b798464772b046e4f12a4;p=helm.git diff --git a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs index 8fd999513..f552f091a 100644 --- a/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs +++ b/helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs @@ -1 +1 @@ -usr/lib/ocaml/3.06 +usr/lib/ocaml/3.08