From 65ba1f810f43a5fc200e41298a07b1663ee3d9bd Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 22 May 2019 09:55:48 +0200
Subject: Update README.md

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 0d117bc..51f3f02 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,7 @@ These formal theories cover a wide spectrum of topics, ranging from the formal t
 
 ## Installation
 
-If you already have OPAM installed:
+If you already have OPAM installed (a fresh or up to date version of opam 2 is required):
 
 ```
 opam repo add coq-released https://coq.inria.fr/opam/released
-- 
cgit v1.2.3