]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/debian/dirs
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
- towards completion of the disambiguation section
[helm.git] / helm / DEVEL / ocaml-http / debian / dirs
diff --git a/helm/DEVEL/ocaml-http/debian/dirs b/helm/DEVEL/ocaml-http/debian/dirs
index bfe42fe0e1edcaacbd16791e434173c658b1b095..d85903676851dd755087de9d251320617fd771f8 100644 (file)
--- a/helm/DEVEL/ocaml-http/debian/dirs
+++ b/helm/DEVEL/ocaml-http/debian/dirs
@@ -1 +1 @@
-/usr/lib/ocaml/3.06
+/usr/lib/ocaml/3.09.1
Unnamed repository; edit this file 'description' to name the repository.