From ecfb2e3236e2f67cd5b0291a82ee613485db050a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 29 Sep 2023 16:20:19 +0200
Subject: [PATCH] fix readme

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index fbcf8484..13968abd 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ Some example verification demonstrating the use of Iris.
 
 This version is known to compile with:
 
- - Coq 8.17.0
+ - Coq 8.18.0
  - A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
  - A development version of [Autosubst](https://github.com/coq-community/autosubst)
 
-- 
GitLab