From ade7c12c3dd440c3b297943d3562411adadd962d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 1 Sep 2015 16:33:21 +0200
Subject: Fix typo in README.

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

diff --git a/README.md b/README.md
index cefbd04..51794f4 100644
--- a/README.md
+++ b/README.md
@@ -20,7 +20,7 @@ at once using `make`.  This is the simplest option.
 We also provide `opam` files to compile each package using `OPAM`.
 Note that the `OPAM` packages for the Mathematical Components library
 are available in the standard Coq `OPAM` repositories,
-under the `coq:mathcmop:` name space.  If you are only interested
+under the `coq:mathcomp:` name space.  If you are only interested
 in installing a Mathematical Components package via `OPAM`, follow
 the standard instructions available on the Coq website.
 
-- 
cgit v1.2.3