Skip to content
Snippets Groups Projects
Commit 55aef759 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix README for real

parent 204c673c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 55aef759
......@@ -46,7 +46,7 @@ developments.
### Working *on* Iris
To work on Iris itself, you need to install its build-dependencies. Again we
recommend you do that with opam (1.2.2 or newer). This requires the following
recommend you do that with opam (2.0.0 or newer). This requires the following
two repositories:
opam repo add coq-released https://coq.inria.fr/opam/released
......
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