diff --git a/README.md b/README.md
index 52bb5c7d00e030248afea47fe14d609a4c244a54..a286612e483cb52b103974f598946d3f322bdaf9 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