From 23570f316a8f1681ef16e4bb7954b6c0f41b022e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 23 Jan 2017 12:56:48 +0100
Subject: [PATCH] README: that opam repo is not just for ssreflect, also for
 Coq itself

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

diff --git a/README.md b/README.md
index 7cac7bd7c..581fd3102 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ This version is known to compile with:
  - Ssreflect 1.6.1
 
 The easiest way to install the correct versions of the dependencies is
-through opam. Ssreflect is available on the coq-released repository,
+through opam. Coq packages are available on the coq-released repository,
 set up by the command:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
-- 
GitLab