Disable goblint 2.0.0 on arm64

sim642 · sim642 · commit 11474b2ecf48 · 2022-08-18T16:41:09.000+03:00
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -67,7 +67,7 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/goblint/analyzer.git"
-available: os-distribution != "alpine"
+available: os-distribution != "alpine" & arch != "arm64"
 url {
   src:
     "https://github.com/goblint/analyzer/releases/download/v2.0.0/goblint-2.0.0.tbz"

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ build: [`
`67`	`67`	`["dune" "install" "-p" name "--create-install-files" name]`
`68`	`68`	`]`
`69`	`69`	`dev-repo: "git+https://github.com/goblint/analyzer.git"`
`70`		`-available: os-distribution != "alpine"`
	`70`	`+available: os-distribution != "alpine" & arch != "arm64"`
`71`	`71`	`url {`
`72`	`72`	`src:`
`73`	`73`	`"https://github.com/goblint/analyzer/releases/download/v2.0.0/goblint-2.0.0.tbz"`