xen-org/opam-repo-dev — pull request #9 by jeromemaloberti (2013-04-04 14:36:28+00:00)
Title: Fix a dependency problem.

Signed-off-by: Jerome Maloberti