ocaml/opam-repository — pull request #3159 by talex5 (2014-12-06 13:45:19+00:00)
Title: +mirage-profile.0.3

In particular, this fixes a build problem on OS X.