From d176295c79167bd0ea7634365097d2e58edb9c0b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 20:09:58 +0100
Subject: [PATCH] fix opam version in README

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

diff --git a/README.md b/README.md
index 8ffe1988..b8adac10 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ This version is known to compile with:
 
 ## Building from source
 
-When building from source, we recommend to use opam (1.2.2 or newer) for
+When building from source, we recommend to use opam (2.0.0 or newer) for
 installing the dependencies.  This requires the following two repositories:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
-- 
GitLab