From c8a57ee238ae02056e97dc1ef983f415ccf0f829 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 16 Nov 2019 18:37:00 +0100
Subject: [ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml
 4.11

---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 0c98a611a5..2397f2c5c2 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -7,7 +7,7 @@ Build Requirements
 To compile Coq yourself, you need:
 
 - [OCaml](https://ocaml.org/) (version >= 4.05.0)
-  (This version of Coq has been tested up to OCaml 4.09.1)
+  (This version of Coq has been tested up to OCaml 4.10.0)
 
 - The [num](https://github.com/ocaml/num) library; note that it is
   included in the OCaml distribution for OCaml versions < 4.06.0
@@ -45,7 +45,7 @@ CoqIDE with:
 Opam (https://opam.ocaml.org/) is recommended to install OCaml and
 the corresponding packages.
 
-    $ opam switch create coq 4.09.1+flambda
+    $ opam switch create coq 4.10.0+flambda
     $ eval $(opam env)
     $ opam install num ocamlfind lablgtk3-sourceview3
 
-- 
cgit v1.2.3