From b4a41e2dc6f8a57db9e29b9c001289ed234781a2 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 1 Jun 2021 17:05:57 +0200
Subject: Update INSTALL.md

---
 INSTALL.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 320191ce..e80fb600 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -34,6 +34,12 @@ Install dependencies available through opam
 opam install coq menhir
 ```
 
+Note: it may happen that a newer version of Coq is not supported yet.
+You may downgrade to solve the problem:
+```
+opam pin add coq 8.11.0 # example of Coq version
+```
+
 ## Compilation
 Pre-compilation configure replace the placeholder with your desired platform
 (for Kalray Coolidge it is `kvx-cos`)
-- 
cgit