From efe72e7c628e00d37b89b604912908125857ddd3 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 18 Aug 2021 11:01:39 +0200
Subject: Update installation instructions

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

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index be92d7a..004ad63 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -17,7 +17,7 @@ you want to use.
 
 ### In an existing switch
 
-You need to have OCaml version between 4.07 and 4.10 and Coq >= 8.11.
+You need to have OCaml version >= 4.09 and Coq >= 8.11.
 
 Simply add the coq-extra-dev repo to opam:
 ```bash
@@ -32,7 +32,7 @@ opam install coq-smtcoq
 
 Create a switch:
 ```bash
-opam switch create ocaml-base-compiler.4.07.1
+opam switch create ocaml-base-compiler.4.09.0
 eval $(opam env)
 ```
 add the Coq repos to opam:
-- 
cgit