1 files changed, 6 insertions, 0 deletions
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`)