From 0dbc1f4a80c91f76a31a86ec493257dd8d65af25 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Dec 2017 14:15:35 +0100
Subject: [PATCH] mention required opam version

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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