diff --git a/papers/LMCS.md b/papers/LMCS.md
index 81a8db977ea736535e11be3409393ccafecda859..7de99b341511e7ab420cf373fcb44d49a4bc1750 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -1,3 +1,6 @@
+The state of the repository at the time of submission can be found at
+[https://gitlab.mpi-sws.org/iris/actris/-/tree/lmcs](https://gitlab.mpi-sws.org/iris/actris/-/tree/lmcs)
+
 ## Examples
 
 Differences from the original POPL20 paper alon with examples thereof are covered in