From 3438eb2a9e257a7e797130c518912f202efe1f4a Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 2 Oct 2019 13:23:43 +0200 Subject: [PATCH] do not pin-depend mirage-xen, require full dune dependency (not build-only) --- mirage-block-xen.opam | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/mirage-block-xen.opam b/mirage-block-xen.opam index 73340a3..29c26b1 100644 --- a/mirage-block-xen.opam +++ b/mirage-block-xen.opam @@ -8,7 +8,7 @@ doc: "https://mirage.github.io/mirage-block-xen/" bug-reports: "https://github.com/mirage/mirage-block-xen/issues" depends: [ "ocaml" {>= "4.02.0"} - "dune" {build} + "dune" "cmdliner" "logs" "stringext" @@ -44,7 +44,3 @@ transfers over shared memory on both x86 and ARM architectures, using the standard Xen RPC and event channel semantics. """ -pin-depends: [ - ["mirage-xen.dev" "git+https://github.com/mirage/mirage-xen"] -] -