mirage/mirage — pull request #325 by avsm (2014-11-21 10:27:24+00:00)
Title: release 2.0.1

* Add `register ~tracing` to enable tracing with mirage-profile at start-up (#321).
* Update Dockerfile for latest libraries (#320).
* Only build mirage-types if Io_page is also installed (#324).