diff --git a/docs/iris.tex b/docs/iris.tex
index 05471a3abcce76c00a712e0e79047070cf16e263..69e331bc51bef6ff27149ce0a2c27c30e9ea0278 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -28,7 +28,7 @@
 \begin{abstract}
 This document describes formally the Iris program logic.
 Every result in this document has been fully verified in Coq.
-The latest versions of this document and the Coq formalization can be found in the git repository at \url{https://gitlab.mpi-sws.org/FP/iris-coq/}.
+The latest versions of this document and the Coq formalization can be found in the git repository at \url{https://gitlab.mpi-sws.org/iris/iris}.
 For further information, visit the Iris project website at \url{http://plv.mpi-sws.org/iris/}.
 \end{abstract}