Snippets for agda 2.8.0 from Fedora ppc64le

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