diff --git a/README.md b/README.md
index 67f1bae401d307bda5f18510a078fbd7492d4678..4c99311f2fe51018bf9fb61c2a0b3a17f31db520 100644
--- a/README.md
+++ b/README.md
@@ -5,11 +5,11 @@ Based Reasoning in Separation Logic".
 
 It has been built and tested with the following dependencies
 
- - Coq 8.9.1
+ - Coq 8.10
  - [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at
    commit 9041e6d8.
  - [iris](https://gitlab.mpi-sws.org/iris/iris) at
-   commit 15f1ac56.
+   commit 1f83451a.
 
 In order to build, install the above dependencies and then run
 `make -j [num CPU cores]` to compile Actris.