Disable goblint 2.0.0 on alpine

sim642 · sim642 · commit 7a5f8a5e6c27 · 2022-08-18T16:38:13.000+03:00
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -67,6 +67,7 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/goblint/analyzer.git"
+available: os-distribution != "alpine"
 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,6 +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`	`71`	`url {`
`71`	`72`	`src:`
`72`	`73`	`"https://github.com/goblint/analyzer/releases/download/v2.0.0/goblint-2.0.0.tbz"`