mirage/mirage — pull request #304 by avsm (2014-10-17 07:23:20+00:00)
Title: Switch to using the unified mirage-console.2.0.0 package

See mirage/mirage-dev#26 for the new package