aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
diff options
context:
space:
mode:
authorGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2015-06-22 11:38:29 +0200
committerGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2015-06-22 11:38:48 +0200
commit07e8eede6670a256a81d9d70133ebbeb64f45fe3 (patch)
tree4583b6458ea3a649f3ddb072340b8aa5f24feb40 /INSTALL
parent6d351cb0e30700f7d4f719ab8d56b9728188ae23 (diff)
Fixup last commit
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL4
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index d004ea404..ecbff06f8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -32,8 +32,8 @@ WHAT DO YOU NEED ?
- Objective Caml version 3.12.1 or later
(available at http://caml.inria.fr/)
- - Findlib (included in OCaml binary distribution under windows and
- probably available in your distribution and at
+ - Findlib (included in OCaml binary distribution under windows,
+ probably available in your distribution and for sure at
http://projects.camlcity.org/projects/findlib.html)