From c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 9 Jan 2017 14:38:42 +0100
Subject: Relax required OCaml to 4.02.1.

We did not decide precisely what minor version we would support, so
relaxing. We document why 4.02.0 is not supported (its use is also
discouraged by the OCaml team, see e.g. https://ocaml.org/releases/).
---
 INSTALL.ide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL.ide')

diff --git a/INSTALL.ide b/INSTALL.ide
index cb7ca325f7..513e37c91f 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -22,7 +22,7 @@ Else, read the rest of this document to compile your own CoqIde.
 
 COMPILATION REQUIREMENTS
 
-- OCaml >= 4.01 with native threads support.
+- OCaml >= 4.02.1 with native threads support.
 - make world must succeed.
 - The graphical toolkit GTK+ 2.x. See http://www.gtk.org.
   The official supported version is at least 2.24.x.
-- 
cgit v1.2.3