diff options
| author | Cyril Cohen | 2020-10-07 11:00:06 +0200 |
|---|---|---|
| committer | GitHub | 2020-10-07 11:00:06 +0200 |
| commit | 5222da0de26b9843dfbb1b8462fabea9c0396714 (patch) | |
| tree | 29ea51347d769c9cd23dd5a615d86dff407745e7 | |
| parent | cfb1c87cba9118504adfe6fa80d4b85342efb4cb (diff) | |
Update INSTALL.md
| -rw-r--r-- | INSTALL.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -18,13 +18,13 @@ Once your OPAM environment is configured you can install any math-comp package via ``` opam repo add coq-released https://coq.inria.fr/opam/released -opam pin add -n coq -k version 8.8.0 +opam pin add -n coq -k version 8.12.0 opam install coq -j3 opam install coq-mathcomp-ssreflect -j3 ``` Replace `ssreflect` here by the package you want, the dependencies will be installed automatically. We recommend pinning a particular version of Coq -(we give `8.8.0` as an example, see `CHANGELOG.md` for the supported versions). +(we give `8.12.0` as an example, see `CHANGELOG.md` for the supported versions). To get the latest development version you need to execute the following: ``` opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev @@ -79,9 +79,9 @@ this file `INSTALL.md`) and that you have OPAM installed and configured with the standard Coq repositories. First, we recommend pinning a particular version of Coq -(e.g. `8.8.0`): +(e.g. `8.12.0`): ``` -opam pin add -n coq -k version 8.8.0 +opam pin add -n coq -k version 8.12.0 ``` Then for each math-comp package, pin the `opam` file: |