Commit 0f97ca1b authored by Ralf Jung's avatar Ralf Jung

link to opam-old

parent e2b68abe
......@@ -4,3 +4,6 @@ This OPAM repository provides development versions of Iris and related projects.
The versions here are automatically created when things are pushed to the
respective repositories. The updater and all documentation lives at
<https://gitlab.mpi-sws.org/iris/opam-updater> (this is a private project).
This repository does not contain all versions that were ever published; some old
versions have been moved to <https://gitlab.mpi-sws.org/iris/opam-old>.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment