Snippets for agda 2.8.0 from Fedora aarch64

Sourced from https://kojipkgs.fedoraproject.org/packages/Agda/2.8.0/60.fc45/data/logs/aarch64/build.log.