UnknownError  filed an orphan request for agda-cubical :
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.