diff --git a/README.md b/README.md
index d84f87cd40b08734284b7018a232610a18d1d57d..15ded8afa8137d703ae374ce10493381d03bc9c8 100644
--- a/README.md
+++ b/README.md
@@ -5,11 +5,7 @@ Functional Verification of Rust Programs with Unsafe Code".
 
 ## Prerequisites
 
-This version is known to compile with:
-
-- Coq 8.15.0
-- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
-  (the version `dev.2022-04-12.0.a3bed7ea`)
+This version is known to compile with Coq 8.20.1.
 
 ## Building from source