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

update opam repo URL

parent 90923699
......@@ -58,7 +58,7 @@ Then you can do `opam install coq-stdpp`.
To obtain a development version, 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
## Building from source
......
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