Snippets for agda 2.8.0 from Nix aarch64-linux

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