diff --git a/README.md b/README.md
index 5fcb1c81e11bb494706b5ebd52c66f044e99a3bb..7bbad27d01711f193f0292cdfad6121173174254 100644
--- a/README.md
+++ b/README.md
@@ -6,9 +6,8 @@ which are variants of **GPS** and **RSL** in Iris.
 ## Dependencies
 
 The master branch is known to compile with:
-* Coq 8.6
-* Ssreflect 1.6.1
-* Iris 3.0
+* Coq 8.7.1
+* Iris (MoSeL branch)
 
 ## Build