Commit 9d4bb10d authored by Ralf Jung's avatar Ralf Jung

fix installation instructions

parent 0d7e5abd
......@@ -25,7 +25,7 @@ opam repository if you have not already done so earlier:
opam repo add coq-released
Then you can do `opam install coq-iris.3.1`.
Then you can do `opam install coq-iris.3.1.0`.
## Installing Iris from source
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