Snippets for agda 2.8.0 from FreeBSD 150arm64

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