Correct 'os !="windows"' in rocqide 9.0.0, 9.0.1, 9.1.0

jmid · jmid · commit 243e1411f04c · 2025-10-31T11:34:34.000+01:00
diff --git a/packages/rocqide/rocqide.9.0.0/opam b/packages/rocqide/rocqide.9.0.0/opam
@@ -21,7 +21,7 @@ depends: [
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
   "cairo2" {>= "0.6.4"}
-  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
+  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os-family != "windows")}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/rocqide/rocqide.9.0.1/opam b/packages/rocqide/rocqide.9.0.1/opam
@@ -21,7 +21,7 @@ depends: [
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
   "cairo2" {>= "0.6.4"}
-  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
+  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os-family != "windows")}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/packages/rocqide/rocqide.9.1.0/opam b/packages/rocqide/rocqide.9.1.0/opam
@@ -21,7 +21,7 @@ depends: [
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
   "cairo2" {>= "0.6.4"}
-  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os != "windows")}
+  "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" | os-family != "windows")}
   "odoc" {with-doc}
 ]
 build: [

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ depends: [`
`21`	`21`	`"conf-adwaita-icon-theme"`
`22`	`22`	`"coqide-server" {= version}`
`23`	`23`	`"cairo2" {>= "0.6.4"}`
`24`		`- "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" \| os != "windows")}`
	`24`	`+ "lablgtk3-sourceview3" {>= "3.1.2" & (>= "3.1.5" \| os-family != "windows")}`
`25`	`25`	`"odoc" {with-doc}`
`26`	`26`	`]`
`27`	`27`	`build: [`