From 55aef7595f4dd5087630985056dc8dc4bed3d5f2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 20:10:54 +0100
Subject: [PATCH] fix README for real

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

diff --git a/README.md b/README.md
index 8df869848..dd171b0d3 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ developments.
 ### Working *on* Iris
 
 To work on Iris itself, you need to install its build-dependencies.  Again we
-recommend you do that with opam (1.2.2 or newer).  This requires the following
+recommend you do that with opam (2.0.0 or newer).  This requires the following
 two repositories:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
-- 
GitLab