Mirage Development OPAM Repository

December 15, 2016 ยท View on GitHub

This is an OPAM repository exporting development versions of the MirageOS libraries.

To make use of the latest, pre-release, in development version of Mirage simply add this repo as an OPAM repository and then update and upgrade:

opam repo add mirage-dev https://github.com/mirage/mirage-dev.git
opam update -yu

See https://ci.mirage.io for tests.