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

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

diff --git a/README.md b/README.md
index f6d06195..70b1336c 100644
--- a/README.md
+++ b/README.md
@@ -49,7 +49,7 @@ This version is known to compile with:
 
 ## Installing via opam
 
-To obtain the latest stable release via opam (1.2.2 or newer), you have to add
+To obtain the latest stable release via opam (2.0.0 or newer), you have to add
 the Coq opam repository:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
-- 
GitLab