From e3c070d3654543bc5293ee86f31b3fca610991da Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr>
Date: Mon, 7 Apr 2025 08:43:20 +0200
Subject: [PATCH] Update README.

---
 README.md | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/README.md b/README.md
index d84f87cd..15ded8af 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
 
-- 
GitLab