Aarch64 support

Stream: lean4

[Anders Christiansen Sørby]

Lean nix build currently breaks in aarch64 systems since this was added as a default system in flake-utils updating this flake dependency breaks the build because the package compiler-rt-libc-13.0.0 is marked as broken.