[aur-requests] [PRQ#37126] Orphan Request for agda-cubical

[notify at aur.archlinux.org]

UnknownError [1] filed an orphan request for agda-cubical [2]:

The package needs to be updated. The package has been flagged out of
date for 5 months but no action was taken by the maintainer. Last year
someone posted a comment with the request to update but there was no
reaction. Also the maintainer has not been active for ~2 years, so I
think this package should be orphaned such that I or someone else can
update the package.

[1] https://aur.archlinux.org/account/UnknownError/
[2] https://aur.archlinux.org/pkgbase/agda-cubical/