MarsSeed [1] filed a deletion request for muttonchop [2]: Broken media player, discontinued since 2013. [a] Doesn't work because gstreamer0.10-bad fails to build since at least 2021. I recommend deletion: there are very good alternatives. [a]: https://launchpad.net/muttonchop/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/muttonchop/