Commit ae3bead2 authored by Ralf Jung's avatar Ralf Jung
Browse files

depend on stable Iris for now

parent 256bd28a
Pipeline #33187 passed with stage
in 17 minutes and 9 seconds
...@@ -10,7 +10,7 @@ This tutorial comes in two versions: ...@@ -10,7 +10,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed: For the tutorial material you need to have the following dependencies installed:
- Coq 8.10.1 / 8.11.0 - Coq 8.10.1 / 8.11.0
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris) - [Iris](https://gitlab.mpi-sws.org/iris/iris) 3.3.0
*Note:* the tutorial material will not work with earlier versions of Iris, it *Note:* the tutorial material will not work with earlier versions of Iris, it
is important to install the exact versions as given above. is important to install the exact versions as given above.
......
...@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/tutorial-popl18.git" ...@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/tutorial-popl18.git"
synopsis: "The Iris tutorial at POPL 2018" synopsis: "The Iris tutorial at POPL 2018"
depends: [ depends: [
"coq-iris" { (= "dev.2020-07-24.0.9b804e35") | (= "dev") } "coq-iris" { (= "3.3.0") | (= "dev") }
] ]
build: [make "-j%{jobs}%"] build: [make "-j%{jobs}%"]
......
Supports Markdown
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