Correct 'os !="windows"' in coqide 8.19.2, 8.20.0, 8.20.1

jmid · jmid · commit df47b5aaeca9 · 2025-10-31T11:40:27.000+01:00
diff --git a/packages/coqide/coqide.8.19.2/opam b/packages/coqide/coqide.8.19.2/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/coqide/coqide.8.20.0/opam b/packages/coqide/coqide.8.20.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/coqide/coqide.8.20.1/opam b/packages/coqide/coqide.8.20.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: [

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: [`