mirage/opam-repository — pull request #17 by djs55 (2014-01-31 17:31:18+00:00)
Title: mirage: avsm#split-libs merged to mirage#master

Signed-off-by: David Scott