From 37cf94e2c8be3c81d5d45d78141886e76285bb46 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 5 Nov 2016 21:59:51 +0100
Subject: [PATCH] Update Iris website in README.

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

diff --git a/README.md b/README.md
index c09bcdbdc..ad38e54ca 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # IRIS COQ DEVELOPMENT
 
-This is the Coq development of the [Iris Project](http://plv.mpi-sws.org/iris/).
+This is the Coq development of the [Iris Project](http://iris-project.org).
 
 ## Prerequisites
 
-- 
GitLab