Disable goblint-cil.2.0.0 on multiple architectures

sim642 · sim642 · commit deda6b7a7a50 · 2022-08-12T21:16:19.000+03:00
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -62,7 +62,7 @@ depexts: [
   ["perl-FindBin"] {os-distribution = "fedora"}
   ["build-base"] {os-distribution = "alpine"}
 ]
-available: arch != "ppc32" & arch != "ppc64"
+available: arch != "x86_32" & arch != "arm32" & arch != "ppc32" & arch != "ppc64" & arch != "s390x"
 url {
   src:
     "https://github.com/goblint/cil/releases/download/2.0.0/goblint-cil-2.0.0.tbz"

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ depexts: [`
`62`	`62`	`["perl-FindBin"] {os-distribution = "fedora"}`
`63`	`63`	`["build-base"] {os-distribution = "alpine"}`
`64`	`64`	`]`
`65`		`-available: arch != "ppc32" & arch != "ppc64"`
	`65`	`+available: arch != "x86_32" & arch != "arm32" & arch != "ppc32" & arch != "ppc64" & arch != "s390x"`
`66`	`66`	`url {`
`67`	`67`	`src:`
`68`	`68`	`"https://github.com/goblint/cil/releases/download/2.0.0/goblint-cil-2.0.0.tbz"`