Fix zarith compilation on arm64 homebrew#18265

kit-ty-kate merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom

avsm:zarith-install-brew-armavsm/opam-repository:zarith-install-brew-armCopy head branch name to clipboard