From 111e33d802dd7897afb4033404820a407e80ded4 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 19 Nov 2021 14:27:17 +0000
Subject: [PATCH] update dns-resolver from upstream

---
 .../opam                                                   | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.1/opam
index 793bb7b..2f640d1 100644
--- a/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.1/opam
+++ b/packages/mirage-unikernel-dns-resolver-monitoring-hvt.0.0.1/opam
@@ -1,13 +1,14 @@
-# Generated by ./config.exe configure -t hvt --allocation-policy=best-fit (2021-07-27 11:26:44-00:00).
+# Generated by ./config.exe configure -t hvt (2021-11-19 14:21:07-00:00).
 opam-version: "2.0"
 name: "mirage-unikernel-resolver-hvt"
 depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
-           "dns-resolver" { >= "6.0.0~dev"}
+           "dns-certify" { >= "6.0.0"}
+           "dns-resolver" { >= "6.0.0"}
            "dns-server" 
            "ethernet" { >= "2.2.0" & < "3.0.0"}
            "functoria-runtime" 
            "logs" 
-           "logs-syslog" { >= "0.3.0" & < "0.4"}
+           "logs-syslog" { >= "0.3.0"}
            "lwt" 
            "mirage" {build &  >= "3.10.0" & < "3.11.0"}
            "mirage-bootvar-solo5" { >= "0.6.0" & < "0.7.0"}