From f36de4316f8bc4c03dcfe0f5fec85205fa954601 Mon Sep 17 00:00:00 2001 From: gwenaelle Date: Fri, 26 Jul 2024 15:14:40 +0200 Subject: [PATCH] Fix Iomux lower bound --- dune-project | 2 +- inotify-eio.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index d0b152a..b643048 100644 --- a/dune-project +++ b/dune-project @@ -40,4 +40,4 @@ (odoc :with-doc) eio (eio_main :with-test) - iomux)) + (iomux (>= 0.3)))) diff --git a/inotify-eio.opam b/inotify-eio.opam index d725abf..c9e78c9 100644 --- a/inotify-eio.opam +++ b/inotify-eio.opam @@ -20,7 +20,7 @@ depends: [ "odoc" {with-doc} "eio" "eio_main" {with-test} - "iomux" + "iomux" {>= "0.3"} ] build: [ ["dune" "subst"] {dev}