aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--INSTALL.md8
1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 68de1b4..8fc678c 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -74,7 +74,7 @@ Then follow the instructions of the previous section.
### Requirements
-You need to have OCaml version >= 4.09.0 and Coq version 8.9.0.
+You need to have OCaml version >= 4.09.0 and Coq version 8.9.*.
> **Warning**: The version of Coq that you plan to use must have been compiled
> with the same version of OCaml that you are going to use to compile
@@ -118,16 +118,16 @@ opam switch create ocaml-base-compiler.4.09.0
### Install Coq
-After OCaml is installed, you can install Coq-8.9.0 through opam.
+After OCaml is installed, you can install Coq-8.9.1 through opam.
```bash
-opam install coq.8.9.0
+opam install coq.8.9.1
```
If you also want to install CoqIDE at the same time you can do
```bash
-opam install coq.8.9.0 coqide.8.9.0
+opam install coq.8.9.1 coqide.8.9.1
```
but you might need to install some extra packages and libraries for your system