Commit 0c9c1cd1 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

We ask for 8.8.2 in the readme file, because 8.8.2 contains a fix for #8416,...

We ask for 8.8.2 in the readme file, because 8.8.2 contains a fix for #8416, which we hit in this developement.
parent 582680cd
## Requirements
The project is known to compile with:
* Coq 8.8.1
* Coq 8.8.2
* coq-iris dev.2018-11-01.3.19aae59a (development version of Iris)
* coq-tlc 20181116 (for the proof of union-find)
......@@ -28,12 +28,12 @@ _If opam is already installed:_ Create a new switch for the project:
opam repo add coq-released https://coq.inria.fr/opam/released
opam update
opam install -j4 -v coq.8.8.1
opam install -j4 -v coq.8.8.2
If you want to use CoqIDE (a graphical, interactive toplevel for Coq), install
it as well:
opam install coqide.8.8.1
opam install coqide.8.8.2
### Step 3: Install a development version of Iris
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment