Snippets for alex 3.5.4.2 from Nix aarch64-linux

Sourced from https://hydra.nixos.org/log/s9lirkhawna946c08zr2jraac5idq4i9-alex-3.5.4.2.drv.