diff options
| author | Falcon Dai | 2016-10-25 17:06:47 -0500 |
|---|---|---|
| committer | GitHub | 2016-10-25 17:06:47 -0500 |
| commit | dd7657ec58116e8af5cbb741f82afea12e1dc2d1 (patch) | |
| tree | ff9c4a06710f0058e2c8431b7cad8ddf9a600915 | |
| parent | 71e62259c3a7420ff4c635768564792d1fd38ceb (diff) | |
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`
| -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. |