Correct 'os !="windows"' in rocq-runtime 9.1.0

Author: jmid

packages/rocq-runtime/rocq-runtime.9.1.0/opam

@@ -27,7 +27,7 @@ bug-reports: "https://github.com/rocq-prover/rocq/issues"
 depends: [
   "dune" {>= "3.8"}
   "ocaml" {>= "4.14.0"}
-  "ocamlfind" {>= "1.9.1" & (>= "1.9.8" | os != "windows")}
+  "ocamlfind" {>= "1.9.1" & (>= "1.9.8" | os-family != "windows")}
   "zarith" {>= "1.11"}
   "conf-linux-libc-dev" {os = "linux"}
   "odoc" {with-doc}