micwoj92 [1] filed a deletion request for gnome-shell-extension-atom- dash-git [2]: Not compatible with current gnome release, archived repo upstream [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-atom-dash-git/