Correct logic in eio_main.0.9

dra27 · dra27 · commit 5d23b328aefd · 2023-06-17T13:13:22.000+01:00
eio_luv should be selected at the same version.
diff --git a/packages/eio_main/eio_main.0.9/opam b/packages/eio_main/eio_main.0.9/opam
@@ -12,7 +12,7 @@ depends: [
   "mdx" {>= "2.2.0" & with-test}
   "eio_linux" {= version & os = "linux"}
   "eio_posix" {= version & os != "win32"}
-  "eio_luv" {= version & os = "win32" | with-test}
+  "eio_luv" {= version & (os = "win32" | with-test)}
   "odoc" {with-doc}
 ]
 depopts: ["eio_luv"]

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ depends: [`
`12`	`12`	`"mdx" {>= "2.2.0" & with-test}`
`13`	`13`	`"eio_linux" {= version & os = "linux"}`
`14`	`14`	`"eio_posix" {= version & os != "win32"}`
`15`		`- "eio_luv" {= version & os = "win32" \| with-test}`
	`15`	`+ "eio_luv" {= version & (os = "win32" \| with-test)}`
`16`	`16`	`"odoc" {with-doc}`
`17`	`17`	`]`
`18`	`18`	`depopts: ["eio_luv"]`