From 93a9062c9e147aa7a0744295501bcbe702a3b34b Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Fri, 1 Feb 2019 16:14:36 +0100
Subject: [PATCH] fix repo link in README again

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

diff --git a/README.md b/README.md
index 301ace99..e842ceb7 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ When building from source, we recommend to use opam (1.2.2 or newer) for
 installing the dependencies.  This requires the following two repositories:
 
     opam repo add coq-released https://coq.inria.fr/opam/released
-    opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam-dev.git
+    opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
 
 Once you got opam set up, run `make build-dep` to install the right versions
 of the dependencies.
-- 
GitLab