From 12f056e342ef73fdebd595c2cd81f936594b54c9 Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Fri, 1 Feb 2019 16:07:24 +0100
Subject: [PATCH] fix repo links in README
---
README.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 03f5b2d4..301ace99 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@ This is the Coq development accompanying lambda-Rust.
This version is known to compile with:
- Coq 8.7.2 / 8.8.2
- - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
+ - A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
## Building from source
@@ -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/FP/opam-dev.git
+ opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam-dev.git
Once you got opam set up, run `make build-dep` to install the right versions
of the dependencies.
--
GitLab