mirage/mirage-dev — pull request #47 by avsm (2014-11-09 22:31:06+00:00)
Title: delete packages that have been merged into upstream opam

see ocaml/opam-repository#3028