kaptoxic [1] filed a deletion request for gnome-shell-extension-pomodoro-git [2]: There two other maintained packages: gnome-shell-pomodoro and gnome-shell-pomodoro-git. This one can be deleted. [1] https://aur.archlinux.org/account/kaptoxic/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pomodoro-git/