Upgrade to Eio 1.0

mirage · Mar 26, 2024 · ca52020 · ca52020
1 parent 5eb94d7
commit ca52020
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 8 deletions.
diff --git a/irmin-cli.opam b/irmin-cli.opam
@@ -44,7 +44,7 @@ depends: [
   "fmt"
   "git"           {>= "3.7.0"}
   "happy-eyeballs-lwt"
-  "eio_main"      {>= "0.10"}
+  "eio_main"      {>= "1.0"}
   "lwt_eio"       {>= "0.3"}
   "lwt"           {>= "5.3.0"}
   "irmin-test"    {with-test & = version}

diff --git a/irmin-fs.opam b/irmin-fs.opam
@@ -19,7 +19,7 @@ depends: [
   "irmin"      {= version}
   "astring"
   "logs"
-  "eio"        {>= "0.10"}
+  "eio"        {>= "1.0"}
   "lwt"        {>= "5.3.0"}
   "alcotest"   {with-test}
   "irmin-test" {with-test & = version}

diff --git a/irmin-pack.opam b/irmin-pack.opam
@@ -20,7 +20,7 @@ depends: [
   "index"        {= "dev"}
   "fmt"
   "logs"
-  "eio"          {>= "0.10"}
+  "eio"          {>= "1.0"}
   "mtime"        {>= "2.0.0"}
   "cmdliner"
   "optint"       {>= "0.1.0"}

diff --git a/irmin-test.opam b/irmin-test.opam
@@ -23,8 +23,8 @@ depends: [
   "jsonm"
   "logs"
   "lwt"          {>= "5.3.0"}
-  "eio"          {>= "0.10"}
-  "eio_main"     {>= "0.10"}
+  "eio"          {>= "1.0"}
+  "eio_main"     {>= "1.0"}
   "alcotest"     {>= "dev"}
   "qcheck-alcotest" {with-test & >= "0.21.1"}
   "metrics-unix"

diff --git a/irmin.opam b/irmin.opam
@@ -21,7 +21,7 @@ depends: [
   "uri"     {>= "1.3.12"}
   "uutf"
   "jsonm"   {>= "1.0.0"}
-  "eio"     {>= "0.6"}
+  "eio"     {>= "1.0"}
   "lwt"     {>= "5.6.1"}
   "digestif" {>= "0.9.0"}
   "ocamlgraph"
@@ -33,7 +33,7 @@ depends: [
   "ppx_irmin" {= version}
   "hex"      {with-test}
   "alcotest" {= "dev" & with-test}
-  "eio_main" {>= "0.2" & with-test}
+  "eio_main" {>= "1.0" & with-test}
   "qcheck-alcotest" {with-test}
   "vector" {with-test}
   "odoc" {(< "2.0.1" | > "2.0.2") & with-doc} # See https://github.com/ocaml/odoc/issues/793

diff --git a/libirmin.opam b/libirmin.opam
@@ -12,7 +12,7 @@ depends: [
   "ctypes-foreign" {>= "0.18"}
   "irmin" {= version}
   "irmin-cli" {= version}
-  "eio_main" {>= "0.10"}
+  "eio_main" {>= "1.0"}
   "lwt_eio" {>= "0.3"}
 ]
 build: [