From a2e4a562415966846a31befaf06199c39a7e4d7e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 1 Feb 2019 14:16:18 +0100
Subject: [PATCH] update opam repo URL

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 52bb5c7d..a286612e 100644
--- a/README.md
+++ b/README.md
@@ -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
 
-- 
GitLab