Merge pull request #84 from hannesm/no-pin-depends

do not pin-depend mirage-xen, require full dune dependency (not build only)
mirage · Oct 25, 2019 · 00fe6b8 · 00fe6b8
2 parents 47789e6 + 3438eb2
commit 00fe6b8
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/mirage-block-xen.opam b/mirage-block-xen.opam
@@ -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"]
-]
-