no dev ssl

anmonteiro · Jun 25, 2024 · 436d493 · 436d493
1 parent 6536a9b
commit 436d493
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -30,7 +30,7 @@
   logs
   (eio-ssl :dev)
   magic-mime
-  (ssl :dev)
+  ssl
   uri
   ipaddr
   httpun-eio

diff --git a/piaf.opam b/piaf.opam
@@ -14,7 +14,7 @@ depends: [
   "logs"
   "eio-ssl" {dev}
   "magic-mime"
-  "ssl" {dev}
+  "ssl"
   "uri"
   "ipaddr"
   "httpun-eio"