Snippets for agda 2.8.0 from Nix x86_64-linux

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