arti [1] filed a deletion request for gnome-builder-themes- gtksourceview4-git [2]: This package has been broken for a long time and cant be made to work as gtksourceview4 is EOL. [1] https://aur.archlinux.org/account/arti/ [2] https://aur.archlinux.org/pkgbase/gnome-builder-themes-gtksourceview4-git/