From 99c7bbfce81c182ef95b4a5dd8b9e2f09b4f6d2e Mon Sep 17 00:00:00 2001
From: Enrico
Date: Wed, 22 May 2019 09:59:04 +0200
Subject: be explicit about opam version 2.x

---
 INSTALL.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index b712d98..a694163 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -4,13 +4,14 @@ The library is divided into packages which group together related
 files. Each package defines a distribution and compilation unit.
 
 Packages can be compiled using the traditional make utility or
-the more recent OPAM one. The released and current dev versions are
+the more recent OPAM one (version 2). The released and current dev versions are
 also available as OPAM packages.
 
 ## Compilation and installation of released and current dev version with OPAM
-If you just installed OPAM you may have to do the following. You may also want
+If you just installed OPAM version 2 you may have to do the following. You may also want
 to read [OPAM user manual](https://opam.ocaml.org/doc/Usage.html) first. 
 ```
+opam --version # should print 2.x.y
 opam init
 eval $(opam config env)
 ```
-- 
cgit v1.2.3