From 028237725d7b47b752bdae0dc56ab8f1f531dc18 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 23 Nov 2020 12:14:07 +0100
Subject: [PATCH] link to pinned-package-versions page

---
 README.md | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 6aa35aab7..d64b05534 100644
--- a/README.md
+++ b/README.md
@@ -57,13 +57,27 @@ Either way, you can now install Iris:
 - `opam install coq-iris-heap-lang` will additionally install HeapLang, the
   default language used by various Iris projects.
 
-To fetch updates later, run `opam update && opam upgrade`.  However, notice that
-we do not guarantee backwards-compatibility, so upgrading Iris may break your
+To fetch updates later, run `opam update && opam upgrade`.
+
+#### Be notified of breaking changes
+
+We do not guarantee backwards-compatibility, so upgrading Iris may break your
 Iris-using developments.  If you want to be notified of breaking changes, please
 let us know your account name on the
 [MPI-SWS GitLab](https://gitlab.mpi-sws.org/) so we can add you to the
 notification group.
 
+#### Use of Iris in submitted artifacts
+
+If you are using Iris as part of an artifact submitted for publication with a
+paper, we recommend you make the artifact self-contained so that it can be built
+in the future without relying in any other server to still exist. However, if
+that is for some reason not possible, and if you are using opam to obtain the
+right version of Iris and you used a `dev.*` version, please let us know which
+exact Iris version you artifact relies on so that we can
+[add it to this wiki page](https://gitlab.mpi-sws.org/iris/iris/-/wikis/Pinned-Iris-package-versions)
+and avoid removing it from our opam repository in the future.
+
 ### Working *on* Iris
 
 See the [contribution guide](CONTRIBUTING.md) for information on how to work on
-- 
GitLab