diff --git a/INSTALL.md b/INSTALL.md
index d7c390f5c978b6d91875836cf99f709914d84be5..a54908ab896dda21487f5556e8a3adb0cb9eb0b8 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -32,7 +32,7 @@ First you need to install opam, then you may install Frama-C using opam:
 
     opam install frama-c
 
-**Note:** make sure your opam version is >= 1.2.2.
+**Note:** make sure your opam version is >= 2.0.0.
           Also, it is highly recommended that you install an external solver
           for opam, such as `aspcud`, otherwise unexpected dependency errors
           may occur during installation.
@@ -46,7 +46,7 @@ OSX has opam through Homebrew.
 A [Cygwin-based opam](https://fdopen.github.io/opam-repository-mingw/installation)
 is available on Windows. It is less stable than it is for the other OSes, but should work.
 
-If your system does not have an opam package >= 1.2.2 you can compile it from source,
+If your system does not have an opam package >= 2.0.0 you can compile it from source,
 or use the provided opam binaries available at:
 
 http://opam.ocaml.org/doc/Install.html
diff --git a/README.md b/README.md
index 311311ec88e675bcba114a079bd908aa512a5064..526faa3192fc8d8bf067e0a2bbb84a91f7b8aa2f 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ see [INSTALL.md](INSTALL.md).
 
 Frama-C is available through [OPAM](http://opam.ocaml.org/), the
 OCaml Package Manager. This is the preferred installation method. Be sure
-to install opam v1.2 or higher. Then the following sequence of commands
+to install opam v2.0 or higher. Then the following sequence of commands
 should install frama-c and its gui:
 
     opam init