diff --git a/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam
index 5d9573a..1abe4f4 100644
--- a/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam
+++ b/packages/mirage-unikernel-caldav-le-monitoring-hvt.0.0.1/opam
@@ -6,7 +6,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
            "cohttp-mirage" { >= "4.0.0" & < "5.0.0"}
            "conduit-mirage" { >= "4.0.0" & < "5.0.0"}
            "crunch" {build &  >= "3.1.0" & < "4.0.0"}
-           "dns-certify" { < "5.0.0"}
+           "dns-certify" { >= "5.0.0"}
            "ethernet" { >= "2.2.0" & < "3.0.0"}
            "functoria-runtime" 
            "git-mirage" { >= "3.4.0"}