From a0d898026d867aace636ab03a4cba133ccf4557d Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 29 Jul 2015 12:01:41 +0200
Subject: Update README.md

simpler way of doing local opam pin---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ad2d804..31f26af 100644
--- a/README.md
+++ b/README.md
@@ -65,11 +65,11 @@ standard Coq repositories.
 
 For each package, pin the `opam` file:
 ```
-opam pin -n add coq:mathcomp:ssreflect ssreflect
+opam pin -n add ssreflect
 ```
 This can be achieved in one go as follows:
 ```
-for P in */opam; do opam pin -n add coq:mathcomp:${P%%/opam} ${P%%/opam}; done
+for P in */opam; do opam pin -n add ${P%%/opam}; done
 ```
 
 Then you can use `opam install` to compile and install any package.
-- 
cgit v1.2.3