Snippets for alex 3.5.4.2 from Nix x86_64-linux

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