Apple silicon compilation#7

camlspotter wants to merge 4 commits into

proof-ninja:masterproof-ninja/ocaml-blake3:masterfrom

camlspotter:jun@0.3camlspotter/ocaml-blake3:jun@0.3Copy head branch name to clipboard