From 0b80807056a726934c2e1211292f2cde27834c8c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 22 May 2022 17:21:44 +0200 Subject: [PATCH] unipi: update from upstream --- packages/mirage-unikernel-unipi-hvt.0.0.1/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-unipi-hvt.0.0.1/opam b/packages/mirage-unikernel-unipi-hvt.0.0.1/opam index c28ed3f..c4bfa00 100644 --- a/packages/mirage-unikernel-unipi-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-unipi-hvt.0.0.1/opam @@ -28,8 +28,8 @@ depends: [ "arp" { >= "3.0.0" & < "4.0.0"} "ocaml" {build & >= "4.08.0"} "ocamlbuild" {build} "ocamlfind" {build} - "paf" { >= "0.0.8" & < "0.0.9"} - "paf-le" { >= "0.0.8"} + "paf" { >= "0.0.8-1" & < "0.0.9"} + "paf-le" { >= "0.0.8-1" & < "0.0.9"} "solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"} "tcpip" { >= "7.0.0" & < "8.0.0"} "tls-mirage"