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"