Merge pull request #62 from hannesm/mc-011

update to mirage-crypto-rng 0.11 API changes
Psi-Prod · Feb 16, 2023 · f91f4ea · f91f4ea
2 parents 1fffc25 + fafeb3c
commit f91f4ea
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/mehari-lwt-unix/mehari_lwt_unix.ml b/mehari-lwt-unix/mehari_lwt_unix.ml
@@ -23,7 +23,7 @@ let default_ipv4 = Ipaddr.V4.Prefix.make 8 Ipaddr.V4.localhost
 
 let run_lwt ?port ?timeout ?verify_url_host ?certchains ?(v4 = default_ipv4) ?v6
     callback =
-  Mirage_crypto_rng_unix.initialize ();
+  Mirage_crypto_rng_unix.initialize (module Mirage_crypto_rng.Fortuna);
   let* stack = stack ~v4 ~v6 in
   run ?port ?timeout ?verify_url_host ?certchains stack callback
 

diff --git a/mehari-mirage/dune b/mehari-mirage/dune
@@ -8,7 +8,7 @@
   mirage-time
   mehari
   tcpip
-  tls.lwt
+  tls-lwt
   tls-mirage)
  (preprocess
   (pps lwt_ppx)))
diff --git a/mehari.opam b/mehari.opam
@@ -19,7 +19,7 @@ depends: [
   "logs" {>= "0.7.0"}
   "magic-mime" {>= "1.3.0"}
   "mirage-clock" {>= "4.2.0"}
-  "tls" {>= "0.15.4"}
+  "tls" {>= "0.16.0"}
   "uri" {>= "4.2.0"}
   "x509" {>= "0.16.2"}
   "re" {>= "1.10.4"}