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/