Update packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam

mseri · web-flow · commit e1ffd7d6bf9d · 2025-05-14T19:11:24.000+02:00
diff --git a/packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam b/packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam
@@ -38,7 +38,7 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
-available: [ arch != "arm32" & (os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew") ]
+available: [ arch != "arm32" & (os = "linux" & os-distribution != "arch" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) | os = "macos" & os-distribution = "homebrew") ]
 url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.7.0/bitwuzla-cxx-0.7.0.tbz"

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