Snippets for agda 2.8.0 from Fedora x86_64

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