From dd7657ec58116e8af5cbb741f82afea12e1dc2d1 Mon Sep 17 00:00:00 2001
From: Falcon Dai
Date: Tue, 25 Oct 2016 17:06:47 -0500
Subject: minor change to the opam install example

fix a typo in the example command
add `opam repo add coq-released http://coq.inria.fr/opam/released`---
 etc/INSTALL.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/etc/INSTALL.md b/etc/INSTALL.md
index 0ea3c4c..b293831 100644
--- a/etc/INSTALL.md
+++ b/etc/INSTALL.md
@@ -1,7 +1,9 @@
 # INSTALLATION PROCEDURE
 
 Users familiar with OPAM can use such tool to install Coq and the Mathematical Components library with commands like
-`opam coq-mathcomp-fingroup`.
+
+    opam repo add coq-released http://coq.inria.fr/opam/released
+    opam install coq-mathcomp-fingroup
 
 This document is for users that installed Coq in another way, for example
 compiling it from sources.
-- 
cgit v1.2.3