carstene1ns [1] filed a deletion request for libmirko [2]: All devkitpro packages are nowadays provided in a custom pacman repository, removing them from AUR will lessen maintenance burden. [1] https://aur.archlinux.org/account/carstene1ns/ [2] https://aur.archlinux.org/pkgbase/libmirko/