diff options
| author | Enrico | 2017-01-18 15:46:22 +0100 |
|---|---|---|
| committer | GitHub | 2017-01-18 15:46:22 +0100 |
| commit | 190761d6abc4cb29a291c93e5cce128a93371b52 (patch) | |
| tree | c471a785bb351fc9637b4b6ab9cbd7d4c5ae8574 | |
| parent | dead710d5b89bd3bbbadf0c5662fa20a87ce1b49 (diff) | |
| parent | dd7657ec58116e8af5cbb741f82afea12e1dc2d1 (diff) | |
Merge pull request #78 from falcondai/patch-1
minor change to the opam install example
| -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. |