From 64b6def812342598eef8e7c71fd745949b9febd5 Mon Sep 17 00:00:00 2001 From: Bikal Lem Date: Mon, 23 May 2022 10:55:31 +0100 Subject: [PATCH] eio: add eio as dependency in opam file --- mirage-crypto-rng-eio.opam | 1 + 1 file changed, 1 insertion(+) diff --git a/mirage-crypto-rng-eio.opam b/mirage-crypto-rng-eio.opam index 0e545500..cb5716da 100644 --- a/mirage-crypto-rng-eio.opam +++ b/mirage-crypto-rng-eio.opam @@ -18,6 +18,7 @@ depends: [ "logs" "cstruct" {>= "6.0.0"} "duration" + "eio" "mtime" "mirage-crypto" {=version} "mirage-crypto-rng" {=version}