agda: status change on tests.reproducible-builds.org/debian

[Reproducible Builds folks]

Dear maintainer,

The reproducibility status of the package agda changed during the
continuous testing.
See the following notes for more details:

2022-12-10 11:32 https://tests.reproducible-builds.org/debian/unstable/amd64/agda changed from FTBR -> reproducible

Feel free to reply to this email if you have questions regarding
this automatic notification.

-- 
The Reproducible Builds folks