diff --git a/README.md b/README.md
index b755561a070e1914bfc4b9caa05ddc296a875da8..cbabc3aece2136c4ddac33607b3ea055c316dfab 100644
--- a/README.md
+++ b/README.md
@@ -7,9 +7,9 @@ It has been built and tested with the following dependencies
 
  - Coq 8.10
  - [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at
-   commit 9041e6d8.
+   commit 37e95a04.
  - [iris](https://gitlab.mpi-sws.org/iris/iris) at
-   commit 1f83451a.
+   commit d1787db2.
 
 In order to build, install the above dependencies and then run
 `make -j [num CPU cores]` to compile Actris.