Add tls-lwt dep.

Psi-Prod · Feb 20, 2023 · e16f778 · e16f778
1 parent e572025
commit e16f778
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -63,7 +63,9 @@
   (tcpip
    (>= 7.1.2))
   (tls-mirage
-   (>= 0.15.4))))
+   (>= 0.15.4))
+  (tls-lwt
+   (>= 0.16.0))))
 
 (package
  (name mehari-lwt-unix)

diff --git a/mehari-mirage.opam b/mehari-mirage.opam
@@ -17,6 +17,7 @@ depends: [
   "mirage-time" {>= "3.0.0"}
   "tcpip" {>= "7.1.2"}
   "tls-mirage" {>= "0.15.4"}
+  "tls-lwt" {>= "0.16.0"}
   "odoc" {with-doc}
 ]
 build: [