From 2274298d44d1cb301ad8c7159f747aff67b05de3 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 13 Mar 2023 13:54:32 +0100
Subject: [PATCH] dns-letsencrypt: update to upstream main branch

---
 packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam | 9 ++++++---
 .../opam                                                 | 9 ++++++---
 2 files changed, 12 insertions(+), 6 deletions(-)

diff --git a/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam b/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam
index be3716b..4f09ade 100644
--- a/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam
+++ b/packages/mirage-unikernel-dns-letsencrypt-hvt.0.0.3/opam
@@ -20,16 +20,20 @@ install: [
 depends: [
   "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
   "dns-certify" { ?monorepo & >= "5.0.1" }
-  "dns-client" { ?monorepo & >= "6.4.0" }
+  "dns-client-mirage" { ?monorepo & >= "6.4.0" & >= "7.0.0" & < "8.0.0" }
   "dns-server" { ?monorepo & >= "5.0.0" }
   "dns-tsig" { ?monorepo }
   "domain-name" { ?monorepo & >= "0.3.0" }
   "duration" { ?monorepo }
   "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
+  "happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
+  "http-mirage-client" { ?monorepo & >= "0.0.1" & < "0.1.0" }
   "letsencrypt" { ?monorepo & >= "0.4.0" }
   "letsencrypt-dns" { ?monorepo & >= "0.4.0" }
+  "letsencrypt-mirage" { ?monorepo }
   "logs" { ?monorepo }
   "lwt" { ?monorepo }
+  "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
   "mirage" { build & >= "4.3.1" & < "4.4.0" }
   "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
   "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
@@ -43,10 +47,9 @@ depends: [
   "ocaml" { build & >= "4.08.0" }
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
-  "paf-le" { ?monorepo & >= "0.4.0" }
   "randomconv" { ?monorepo }
   "solo5" { build & >= "0.7.5" & < "0.8.0" }
-  "tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" }
+  "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "8.0.0" }
   "x509" { ?monorepo & >= "0.15.2" }
 ]
 
diff --git a/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3/opam b/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3/opam
index 0989b3d..0b4b19e 100644
--- a/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3/opam
+++ b/packages/mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3/opam
@@ -20,17 +20,21 @@ install: [
 depends: [
   "arp" { ?monorepo & >= "3.0.0" & < "4.0.0" }
   "dns-certify" { ?monorepo & >= "5.0.1" }
-  "dns-client" { ?monorepo & >= "6.4.0" }
+  "dns-client-mirage" { ?monorepo & >= "6.4.0" & >= "7.0.0" & < "8.0.0" }
   "dns-server" { ?monorepo & >= "5.0.0" }
   "dns-tsig" { ?monorepo }
   "domain-name" { ?monorepo & >= "0.3.0" }
   "duration" { ?monorepo }
   "ethernet" { ?monorepo & >= "3.0.0" & < "4.0.0" }
+  "happy-eyeballs-mirage" { ?monorepo & >= "0.3.0" & < "1.0.0" }
+  "http-mirage-client" { ?monorepo & >= "0.0.1" & < "0.1.0" }
   "letsencrypt" { ?monorepo & >= "0.4.0" }
   "letsencrypt-dns" { ?monorepo & >= "0.4.0" }
+  "letsencrypt-mirage" { ?monorepo }
   "logs" { ?monorepo }
   "logs-syslog" { ?monorepo & >= "0.3.0" }
   "lwt" { ?monorepo }
+  "mimic-happy-eyeballs" { ?monorepo & >= "0.0.5" }
   "mirage" { build & >= "4.3.1" & < "4.4.0" }
   "mirage-bootvar-solo5" { ?monorepo & >= "0.6.0" & < "0.7.0" }
   "mirage-clock-solo5" { ?monorepo & >= "4.2.0" & < "5.0.0" }
@@ -46,10 +50,9 @@ depends: [
   "ocaml" { build & >= "4.08.0" }
   "ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
   "opam-monorepo" { build & >= "0.3.2" }
-  "paf-le" { ?monorepo & >= "0.4.0" }
   "randomconv" { ?monorepo }
   "solo5" { build & >= "0.7.5" & < "0.8.0" }
-  "tcpip" { ?monorepo & >= "7.0.0" & < "8.0.0" }
+  "tcpip" { ?monorepo & >= "7.0.0" & >= "7.1.0" & < "8.0.0" }
   "x509" { ?monorepo & >= "0.15.2" }
 ]