From 4ddb0caf67fda66c75f23a78641bf810b56f66c1 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 3 Apr 2023 18:28:31 +0200
Subject: [PATCH] unipi: new git-mirage

---
 packages/mirage-unikernel-unipi-hvt.0.0.2/opam            | 4 ++--
 packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam | 7 +++++--
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/packages/mirage-unikernel-unipi-hvt.0.0.2/opam b/packages/mirage-unikernel-unipi-hvt.0.0.2/opam
index 33bf0d4..cf70edd 100644
--- a/packages/mirage-unikernel-unipi-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-unipi-hvt.0.0.2/opam
@@ -1,4 +1,4 @@
-# Generated by mirage.v4.3.5
+# Generated by mirage.v4.3.6
 
 opam-version: "2.0"
 maintainer: "dummy"
@@ -25,7 +25,7 @@ depends: [
   "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
   "git" { ?monorepo & >= "3.7.0" }
   "git-kv" { ?monorepo & >= "0.0.2" }
-  "git-mirage" { ?monorepo & >= "3.10.0" & < "3.13.0" }
+  "git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.14.0" }
   "git-paf" { ?monorepo & >= "3.7.0" }
   "happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
   "http-mirage-client" { ?monorepo & >= "0.0.1" & >= "0.0.3" & < "0.1.0" }
diff --git a/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam
index 25ebde2..734847b 100644
--- a/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam
+++ b/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam
@@ -1,4 +1,4 @@
-# Generated by mirage.v4.3.5
+# Generated by mirage.v4.3.6
 
 opam-version: "2.0"
 maintainer: "dummy"
@@ -12,6 +12,9 @@ build: ["sh" "-exc" "mirage build"]
 
 install: [
   [ "cp" "dist/unipi.hvt" "%{bin}%/unipi.hvt" ]
+  [ "strip" "%{bin}%/unipi.hvt" ]
+  [ "cp" "dist/unipi.hvt" "%{prefix}%/unipi.hvt.debug" ]
+  [ "cp" "README.md" "%{prefix}%/README.md" ]
 ]
 
 depends: [
@@ -22,7 +25,7 @@ depends: [
   "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
   "git" { ?monorepo & >= "3.7.0" }
   "git-kv" { ?monorepo & >= "0.0.2" }
-  "git-mirage" { ?monorepo & >= "3.10.0" & < "3.13.0" }
+  "git-mirage" { ?monorepo & >= "3.10.0" & >= "3.13.0" & < "3.14.0" }
   "git-paf" { ?monorepo & >= "3.7.0" }
   "happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
   "http-mirage-client" { ?monorepo & >= "0.0.1" & >= "0.0.3" & < "0.1.0" }