]> matita.cs.unibo.it Git - helm.git/commit
transition to ocaml 3.09.2
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 May 2006 23:03:30 +0000 (23:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 May 2006 23:03:30 +0000 (23:03 +0000)
commitdb2337dbbb1537c10dbb0ff33b4f5ced87c55bd3
tree485f427a7c16586155734c5ee334ffbb5c8627a9
parent1933c925b8ef90888f12c171f7d767e9135cec77
transition to ocaml 3.09.2
helm/software/DEVEL/gdome_xslt/debian/changelog
helm/software/DEVEL/gdome_xslt/debian/control
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install