goblint.2.4.0: make unavailable on arm64, except macos

Author: sim642

packages/goblint/goblint.2.4.0/opam

@@ -92,7 +92,7 @@ build: [
 dev-repo: "git+https://github.com/goblint/analyzer.git"
 # on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
 # also remember to generate/adjust goblint.opam.locked!
-available: os-family != "bsd" & os-distribution != "alpine"
+available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 # pin-depends: [
   # published goblint-cil 2.0.4 is currently up-to-date, so no pin needed
   # [ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#ae3a4949d478fad77e004c6fe15a7c83427df59f" ]