Fix arch

Author: wintersteiger

packages/z3/z3.4.15.1/opam

@@ -22,7 +22,7 @@ build: [
     export PATH LDFLAGS CPPFLAGS
     python3 scripts/mk_make.py --ml
     make -C build 
-  """] {os-distribution = "homebrew" & arch = "amd64"}
+  """] {os-distribution = "homebrew" & arch = "x86_64"}
   [ "sh" "-c" """#!/bin/sh
     PATH=/opt/homebrew/opt/llvm/bin:$PATH
     LDFLAGS="-L/opt/homebrew/opt/llvm/lib $LDFLAGS"