Liquen [1] filed a deletion request for agda-lib [2]: The official name of the package is agda-stdlib, which I've just created in AUR. [1] https://aur.archlinux.org/account/Liquen/ [2] https://aur.archlinux.org/pkgbase/agda-lib/