From abf1cf39f61f81ec67b17a616d332294ba4ff9eb Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 28 Sep 2017 16:26:58 +0200
Subject: [PATCH] README: mention minimal opam version

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

diff --git a/README.md b/README.md
index 687b39c2..fdceecb7 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ This version is known to compile with:
  - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
 
 The easiest way to install the correct versions of the dependencies is through
-opam.  You will need the Coq and Iris opam repositories:
+opam (1.2.2 or newer).  You will need the Coq and Iris opam repositories:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
     opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git
-- 
GitLab