diff --git a/INSTALL.md b/INSTALL.md
index 79d1793add009637593732642676ff3bae35c896..a8bb625525178e087d9be31127e7e7690d6b90c3 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -168,13 +168,12 @@ We recommend to rely on it for the installation of Frama-C.
 
     ```shell
     brew install graphviz
-    opam install why3
     ```
 
 4. Install *optional* dependencies for Frama-C/WP:
 
     ```shell
-    opam install coq coqide
+    opam install coq coqide why3 why3-coq
     ```
 
 5. Install Frama-C: