Add a constraint on mlgpx.1.0.0 which requires eio.1.0.0 at least.

dinosaure · web-flow · commit d3b312404753 · 2025-08-13T12:28:13.000+02:00
diff --git a/packages/mlgpx/mlgpx.1.0.0/opam b/packages/mlgpx/mlgpx.1.0.0/opam
@@ -13,7 +13,7 @@ depends: [
   "dune" {>= "3.18"}
   "xmlm"
   "ptime"
-  "eio"
+  "eio" {>= "1.0.0"}
   "ppx_expect"
   "alcotest"
   "eio_main"
@@ -43,4 +43,4 @@ url {
     "sha512=cd73b16e988b3ed3cc427a6c6c6d6c9c745adb1eb7efaae3c34e8d006e9c03d9f9d2616cd4118564bd9873903969d3e4053b585e79dbd3e3e7d0f541e2faac83"
   ]
 }
-x-maintenance-intent: ["(latest)"]
+x-maintenance-intent: ["(latest)"]

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ depends: [`
`13`	`13`	`"dune" {>= "3.18"}`
`14`	`14`	`"xmlm"`
`15`	`15`	`"ptime"`
`16`		`- "eio"`
	`16`	`+ "eio" {>= "1.0.0"}`
`17`	`17`	`"ppx_expect"`
`18`	`18`	`"alcotest"`
`19`	`19`	`"eio_main"`
`@@ -43,4 +43,4 @@ url {`
`43`	`43`	`"sha512=cd73b16e988b3ed3cc427a6c6c6d6c9c745adb1eb7efaae3c34e8d006e9c03d9f9d2616cd4118564bd9873903969d3e4053b585e79dbd3e3e7d0f541e2faac83"`
`44`	`44`	`]`
`45`	`45`	`}`
`46`		`-x-maintenance-intent: ["(latest)"]`
	`46`	`+x-maintenance-intent: ["(latest)"]`