From 204c673c620d4cedbf15e2ec00c967212130d494 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 20:08:13 +0100
Subject: [PATCH] fix README

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

diff --git a/README.md b/README.md
index ccb04694a..8df869848 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ If you need to work with Coq 8.5, please check out the
 
 ### Working *with* Iris
 
-To use Iris in your own proofs, we recommend you install Iris via opam (1.2.2 or
+To use Iris in your own proofs, we recommend you install Iris via opam (2.0.0 or
 newer).  To obtain the latest stable release, you have to add the Coq opam
 repository:
 
-- 
GitLab