Snippets for agda 2.8.0.2 from FreeBSD 151arm64

Sourced from https://pkg-status.freebsd.org/ampere5/data/latest-per-pkg/hs-Agda/2.8.0.2/151arm64-default.log.