mirage / mirage-dev

Development OPAM repository for work-in-progress packages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mirage Development OPAM Repository

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.

About

Development OPAM repository for work-in-progress packages