Snippets for gap 4.15.1 from Nix aarch64-linux

Sourced from https://hydra.nixos.org/log/vgf6adw8lc4ih9yah54gxrk0y1d0pczz-gap-4.15.1.drv.