From 048dae38c6c092783533a9ee10ddc582710e3eba Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 14 Feb 2020 10:10:12 +0100
Subject: [PATCH] update README
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index 3fc4859b..36c3bcdf 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ This version is known to compile with:
- A development version of [GPFSL].
The easiest way to install the correct versions of the dependencies is through
-opam (1.2.2 or newer). You will need the Coq and Iris opam repositories:
+opam (2.0.0 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/iris/opam.git
--
GitLab