diff --git a/README.md b/README.md
index ccb04694a1e5eb54c009140518524187be5bfdc7..8df8698480a7fd20c5a2e6f4de4993d6dcddff33 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ If you need to work with Coq 8.5, please check out the
 
 ### Working *with* Iris
 
-To use Iris in your own proofs, we recommend you install Iris via opam (1.2.2 or
+To use Iris in your own proofs, we recommend you install Iris via opam (2.0.0 or
 newer).  To obtain the latest stable release, you have to add the Coq opam
 repository: