Updating INSTALL about 3.08.3.

Coq loops on Ring_polynom.v with (at least) this version.
coq · Dec 2, 2015 · 930ed2e · 930ed2e
1 parent ff84d3f
commit 930ed2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL b/INSTALL
@@ -41,7 +41,7 @@ WHAT DO YOU NEED ?
 
    Should you need or prefer to compile Coq V8.2 yourself, you need:
 
-     - Objective Caml version 3.07 or later
+     - Objective Caml version 3.07 or later, avoiding 3.08.3
        (available at http://caml.inria.fr/)
 
        For Ocaml version >= 3.10.0, you also need to install camlp5