diff options
| -rw-r--r-- | etc/INSTALL.md | 4 |
1 files changed, 3 insertions, 1 deletions
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. |