ChaosKid42 [1] filed a deletion request for sonic-pi [2]: package already provided by [community-testing]: sonic-pi [1] https://aur.archlinux.org/account/ChaosKid42/ [2] https://aur.archlinux.org/pkgbase/sonic-pi/