Correct 'os !="windows"' in coq-lsp 0.2.3+9.0

Author: jmid

packages/coq-lsp/coq-lsp.0.2.3+9.0/opam

@@ -40,7 +40,7 @@ depends: [
   "rocq-stdlib"
 
   # [release branch] Remove
-  "ocamlfind" {>= "1.9.1" & (>= "1.9.8" | os != "windows") }
+  "ocamlfind" {>= "1.9.1" & (>= "1.9.8" | os-family != "windows") }
   "zarith" {>= "1.13"}
 
   # serlib deps: see what we need to keep for release