mirage/mirage-console — pull request #30 by samoht (2014-10-30 22:08:19+00:00)
Title: Improve opam

the depopts things are a bit crazy ... we should have virtual packages instead!