Snippets for alex 3.5.4.2 from Nix aarch64-linux

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