Commit 5b733c12 authored by Ralf Jung's avatar Ralf Jung
Browse files

update REAMDE

parent 0da81344
# OPAM archive for Iris and related projects
# OPAM repository for Iris and related projects
This OPAM repository provides development versions of Iris and related projects.
The versions here are automatically created when things are pushed to the
Supports Markdown
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