README.md 503 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
# OPAM repository for Iris and related projects
Ralf Jung's avatar
Ralf Jung committed
2

Ralf Jung's avatar
Ralf Jung committed
3 4
This OPAM repository provides development versions of Iris and related projects.
The versions here are automatically created when things are pushed to the
Ralf Jung's avatar
Ralf Jung committed
5
respective repositories.  The updater and all documentation lives at
Ralf Jung's avatar
Ralf Jung committed
6
<https://gitlab.mpi-sws.org/iris/opam-updater> (this is a private project).
Ralf Jung's avatar
Ralf Jung committed
7 8 9

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>.