Revert macOs availability

recoules · web-flow · commit b9ba19a537a7 · 2023-02-15T12:22:19.000+01:00
diff --git a/packages/bitwuzla-c/bitwuzla-c.1.0.4/opam b/packages/bitwuzla-c/bitwuzla-c.1.0.4/opam
@@ -36,7 +36,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
-available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" ]
+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) ]
 url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"
diff --git a/packages/bitwuzla/bitwuzla.1.0.4/opam b/packages/bitwuzla/bitwuzla.1.0.4/opam
@@ -35,7 +35,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
-available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" ]
+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) ]
 url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ build: [`
`36`	`36`	`]`
`37`	`37`	`]`
`38`	`38`	`dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"`
`39`		`-available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= 8) \| os = "macos" ]`
	`39`	`+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= 8) ]`
`40`	`40`	`url {`
`41`	`41`	`src:`
`42`	`42`	`"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"`
Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ build: [`
`35`	`35`	`]`
`36`	`36`	`]`
`37`	`37`	`dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"`
`38`		`-available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= 8) \| os = "macos" ]`
	`38`	`+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= 8) ]`
`39`	`39`	`url {`
`40`	`40`	`src:`
`41`	`41`	`"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"`