From f65013c2623a56b1ebcda20ea8b029c85a07ec6e Mon Sep 17 00:00:00 2001 From: Guillaume Petiot Date: Thu, 26 Sep 2024 19:24:51 +0100 Subject: [PATCH] tls-eio >= 1.0.0 --- dune-project | 3 ++- get-activity.opam | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index aa79a15..ba46f33 100644 --- a/dune-project +++ b/dune-project @@ -23,7 +23,8 @@ fmt logs mirage-crypto-rng-eio - tls-eio + (tls-eio + (>= 1.0.0)) (get-activity-lib (= :version)))) diff --git a/get-activity.opam b/get-activity.opam index 23951f4..6493e7d 100644 --- a/get-activity.opam +++ b/get-activity.opam @@ -14,7 +14,7 @@ depends: [ "fmt" "logs" "mirage-crypto-rng-eio" - "tls-eio" + "tls-eio" {>= "1.0.0"} "get-activity-lib" {= version} "odoc" {with-doc} ]