From 293ec9b8d54e38333b70185b5cc6e3ba819174e7 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 16 Feb 2023 15:25:14 +0100 Subject: [PATCH] dns-client requires mtime (for unix/client/ohost) --- dns-client.opam | 1 + 1 file changed, 1 insertion(+) diff --git a/dns-client.opam b/dns-client.opam index 515557c5..c9731ff1 100644 --- a/dns-client.opam +++ b/dns-client.opam @@ -18,6 +18,7 @@ depends: [ "dns" {= version} "randomconv" {>= "0.1.2"} "domain-name" {>= "0.4.0"} + "mtime" {>= "1.2.0"} "alcotest" {with-test} ] synopsis: "DNS client API"