Snippets for agda 2.8.0 from Nix aarch64-darwin

Sourced from https://hydra.nixos.org/log/zcxc2qkrdcmylmbwhj6752z929jfb05y-Agda-2.8.0.drv.