diff --git a/papers/LMCS.md b/papers/LMCS.md
index 81e9f3ba856ae2e77f490d9ae993b0ce464ecf3e..d7156edef14d5f66aba6673c681d0e9fecf0273f 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 along with examples thereof are covered in