From e942085670a4eefad8b8be193bfc19bd61e34982 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 22 May 2022 20:59:03 +0200
Subject: [PATCH] unipi-with-kv: update from upstream

---
 packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam b/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam
index eeceb45..164d0e7 100644
--- a/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam
+++ b/packages/mirage-unikernel-unipi-with-kv-hvt.0.0.1/opam
@@ -30,8 +30,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"