Commit 4507a8fb authored by Ralf Jung's avatar Ralf Jung

more README changes

parent 5425c9b1
......@@ -45,10 +45,14 @@ This version is known to compile with:
To obtain the latest stable release via opam, you have to add the Coq opam
repository:
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-released https://coq.inria.fr/opam/released
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
## Building from source
Run `make -jN` in this directory to build the library, where `N` is the number
......
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