Remove upper bound on eio constraint.

mirage · Sep 30, 2023 · 704538a · 704538a
1 parent 7a598e5
commit 704538a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/cohttp-eio.opam b/cohttp-eio.opam
@@ -22,7 +22,7 @@ depends: [
   "dune" {>= "3.0"}
   "base-domains"
   "cohttp" {= version}
-  "eio" {>= "0.12" & < "0.13"}
+  "eio" {>= "0.12"}
   "eio_main" {with-test}
   "mdx" {with-test}
   "uri" {with-test}

diff --git a/dune-project b/dune-project
@@ -366,9 +366,7 @@
   (cohttp
    (= :version))
   (eio
-   (and
-    (>= 0.12)
-    (< 0.13)))
+   (>= 0.12))
   (eio_main :with-test)
   (mdx :with-test)
   (uri :with-test)