Snippets for alex 3.5.4.2 from Nix x86_64-linux

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