From bb5ede7fc730a600956362f82640551ae23db257 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 12 Dec 2016 20:50:38 +0100
Subject: [PATCH] fix README

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

diff --git a/README.md b/README.md
index 1a79ab71a..cedc6a037 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,6 @@ This version is known to compile with:
 
  - Coq 8.5pl3
  - Ssreflect 1.6
- - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
 
 The easiest way to install the correct versions of the dependencies is through
 opam.  Once you got opam set up, just run `make build-dep` to install the right
-- 
GitLab