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/

Reply via email to