Closed MagnusS closed 9 years ago
Do we need to update the installation instructions on the openmirage arm page now as well (since opam init is needed)?