[Pkg-haskell-maintainers] Reproducibility state of package agda changed: FTBFS -> reproducible

[reproducible-builds at lists.alioth.debian.org]

More information on <URL:https://reproducible.debian.net/unstable/amd64/agda>, feel free to reply to this email to get more help.