diff --git a/README.md b/README.md
index e3c2b06c0c57cb5a0fc5dac1d0507d56bfb00c2e..f9cc1635dc99ee7404ef3c0f743bc83e94138c30 100644
--- a/README.md
+++ b/README.md
@@ -36,7 +36,7 @@ opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
 ```
 2. Install the necessary dependencies:
 ```
-opam pin add coq 8.17.0
+opam pin add coq 8.17.1
 opam pin add coq-lambda-rust.dev https://gitlab.mpi-sws.org/lgaeher/lambda-rust.git#rr
 make builddep
 ```