1 files changed, 14 insertions, 2 deletions

diff --git a/INSTALL.md b/INSTALL.md
index 5e2e800d..755ba690 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -34,11 +34,23 @@ 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.12.2 # example of Coq version
+opam pin add coq 8.13.2 # example of Coq version
+```
+
+### For Kalray KVX
+On this platform, we also need Gappa installed.
+You may need to first install some development packages. On Ubuntu:
+```
+apt install bison flex libmpfr-dev libboost-dev
+```
+
+This install Gappa and Flocq:
+```
+opam pin add coq-flocq 3.4.0 --no-action
+opam install gappa coq-gappa coq-flocq
 ```
 
 ## Compilation