diff --git a/README.md b/README.md
index f4382630d58348406415603275434b9c6276a181..0e3c77d9bd49055e385ce26dd72666e65f946f00 100644
--- a/README.md
+++ b/README.md
@@ -6,8 +6,8 @@ Atomicity related verification based on Iris logic.
 
 This version is known to compile with:
 
- - Coq 8.5pl3
- - Ssreflect 1.6
+ - Coq 8.6
+ - Ssreflect 1.6.1
  - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
 
 The easiest way to install the correct versions of the dependencies is through