diff --git a/README.md b/README.md
index f9f167504c1805471bfeca4279f040f755b19fdc..61aa609469654a57d3b5f1a0c9e1631cad094085 100644
--- a/README.md
+++ b/README.md
@@ -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