tls-eio >= 1.0.0

tarides · Sep 26, 2024 · f65013c · f65013c
1 parent 4500195
commit f65013c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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}
 ]