[aur-requests] [PRQ#1804] Orphan Request for agda

[notify at aur.archlinux.org]

zoidberg_md [1] filed a orphan request for agda [2]:

abandoned long ago

[1] https://aur.archlinux.org/account/zoidberg_md/
[2] https://aur.archlinux.org/pkgbase/agda/