From 4507a8fb87d852384f3e5e6ee3645938b444e8a5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Dec 2017 13:20:36 +0100
Subject: [PATCH] more README changes

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index f9f16750..61aa6094 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
-- 
GitLab