Commit e939732e authored by Robbert Krebbers's avatar Robbert Krebbers

Bump Coq version in README.

parent ef8a72a1
Pipeline #15112 passed with stage
in 11 minutes and 6 seconds
...@@ -2,18 +2,18 @@ ...@@ -2,18 +2,18 @@
## Prerequisites ## Prerequisites
This version is known to compile with This development has been built and tested with the following dependencies:
- Coq version 8.8.1 - Coq 8.9.0
- Development versions of [std++](https://gitlab.mpi-sws.org/iris/stdpp) and - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq)
[Iris](https://gitlab.mpi-sws.org/FP/iris-coq). - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
## Installation instructions ## Installation instructions
- Install [opam](https://opam.ocaml.org/) version >= 2.0 - Install [opam](https://opam.ocaml.org/) version >= 2.0
- Add the Iris opam repository: - Add the Iris opam repository:
``` ```
opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
opam update opam update
``` ```
- Install the Coq development by running `opam install .` in the root - Install the Coq development by running `opam install .` in the root
......
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