[aur-requests] [PRQ#14631] Deletion Request for devkita64-bin

carstene1ns [1] filed a deletion request for devkita64-bin [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/devkita64-bin/