From d9c0f9486906f90670ff0fce80e3c85566ad2ca9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 1 May 2025 15:44:51 -0400 Subject: [PATCH] chore: bounds on eio --- dune-project | 2 +- tiny_httpd_eio.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index cd0328d3..0582156a 100644 --- a/dune-project +++ b/dune-project @@ -45,6 +45,6 @@ (synopsis "Use eio for tiny_httpd") (depends (tiny_httpd (= :version)) - eio + (eio (and (>= 1.0) (< 2.0))) (logs :with-test) (odoc :with-doc))) diff --git a/tiny_httpd_eio.opam b/tiny_httpd_eio.opam index cdc15a35..15b2a090 100644 --- a/tiny_httpd_eio.opam +++ b/tiny_httpd_eio.opam @@ -10,7 +10,7 @@ bug-reports: "https://github.com/c-cube/tiny_httpd/issues" depends: [ "dune" {>= "3.2"} "tiny_httpd" {= version} - "eio" + "eio" {>= "1.0" & < "2.0"} "logs" {with-test} "odoc" {with-doc} ]