Update "available" for macOs

recoules · web-flow · commit d177ba0a7fd2 · 2023-02-14T20:06:31.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) ]
+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" ]
 url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"
@@ -45,4 +45,4 @@ url {
     "sha512=6b20168df75bdfa9f4da8d3a114349a1add6de1ab7b47c3eb2458b2aa1bf394dfb304201cfcb86a8917ba8c70c81319bd131105ee42759eb5f03345905ff4636"
   ]
 }
-x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"
+x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"

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) ]`
	`39`	`+available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= 8) \| os = "macos" ]`
`40`	`40`	`url {`
`41`	`41`	`src:`
`42`	`42`	`"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.4/bitwuzla-1.0.4.tbz"`
`@@ -45,4 +45,4 @@ url {`
`45`	`45`	`"sha512=6b20168df75bdfa9f4da8d3a114349a1add6de1ab7b47c3eb2458b2aa1bf394dfb304201cfcb86a8917ba8c70c81319bd131105ee42759eb5f03345905ff4636"`
`46`	`46`	`]`
`47`	`47`	`}`
`48`		`-x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"`
	`48`	`+x-commit-hash: "4b87ce46b8433fb3ef5575c8501d47b2511f51fd"`