Snippets for agda 2.8.0.2 from FreeBSD 151amd64

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