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

---
 packages/mirage-unikernel-dns-resolver-hvt.0.0.1/opam | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/packages/mirage-unikernel-dns-resolver-hvt.0.0.1/opam b/packages/mirage-unikernel-dns-resolver-hvt.0.0.1/opam
index aeed1d5..cf08227 100644
--- a/packages/mirage-unikernel-dns-resolver-hvt.0.0.1/opam
+++ b/packages/mirage-unikernel-dns-resolver-hvt.0.0.1/opam
@@ -1,8 +1,9 @@
-# Generated by ./config.exe configure -t hvt (2021-07-20 15:27:04-00:00).
+# Generated by ./config.exe configure -t hvt (2021-11-19 14:14:34-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"