From 8a2ae2c4cdb2c4cc297c1d85554b01e6d8c78345 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Tue, 1 Feb 2022 13:13:51 +0100 Subject: [PATCH] Lint OPAM file and delete pin-depends --- mirage-block-xen.opam | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/mirage-block-xen.opam b/mirage-block-xen.opam index d781692..1c2e4bc 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.08.0"} - "dune" + "dune" {>= "1.0"} "logs" "lwt" {>= "2.4.3"} "cstruct" {>= "1.9.0"} @@ -41,9 +41,3 @@ library which enables high-throughput, low-latency data 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/dinosaure/mirage-xen.git#b7b5eaebead17a864b53085b60351a1648ba05b1" ] - [ "mirage-runtime.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ] - [ "functoria-runtime.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ] - [ "functoria.4.0.0" "git+https://github.com/mirage/mirage.git#59101cd795e741982a0a4580c113072339e1389b" ] -]