MikuroK [1] filed a deletion request for croc-bin [2]: Since "croc" has been picked up as a community package, this package is now redundant. [1] https://aur.archlinux.org/account/MikuroK/ [2] https://aur.archlinux.org/pkgbase/croc-bin/