MarsSeed [1] filed a deletion request for gnome-do [2]: Discontinued GNOME2/Gtk2 based desktop search widget from 2014. Has many unneeded *-sharp dependencies defined, but none of them are actually needed. I recommend deletion: GNOME includes a nice desktop search module by default nowadays (and other mainstream graphical DE's do so as well). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-do/