Upgrade Eio to 1.0

mbarbin · Mar 12, 2024 · 1f6dd58 · 1f6dd58
1 parent 0fb0ef5
commit 1f6dd58
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -26,7 +26,7 @@
   (dune-rpc
    (>= 3.14))
   (eio
-   (>= 0.15))))
+   (>= 1.0))))
 
 (package
  (name dune-rpc-eio-example)
@@ -49,9 +49,9 @@
   (dune-rpc-eio
    (= :version))
   (eio
-   (>= 0.15))
+   (>= 1.0))
   (eio_main
-   (>= 0.15))
+   (>= 1.0))
   (expect-test-helpers
    (and
     :with-test

diff --git a/dune-rpc-eio-example.opam b/dune-rpc-eio-example.opam
@@ -15,8 +15,8 @@ depends: [
   "core" {>= "v0.16" & < "v0.17"}
   "dune-rpc" {>= "3.14"}
   "dune-rpc-eio" {= version}
-  "eio" {>= "0.15"}
-  "eio_main" {>= "0.15"}
+  "eio" {>= "1.0"}
+  "eio_main" {>= "1.0"}
   "expect-test-helpers" {with-test & >= "v0.16" & < "v0.17"}
   "ppx_compare" {>= "v0.16" & < "v0.17"}
   "ppx_enumerate" {>= "v0.16" & < "v0.17"}

diff --git a/dune-rpc-eio.opam b/dune-rpc-eio.opam
@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "5.1"}
   "csexp" {>= "1.5.2"}
   "dune-rpc" {>= "3.14"}
-  "eio" {>= "0.15"}
+  "eio" {>= "1.0"}
   "odoc" {with-doc}
 ]
 build: [