Fedora EPEL 7 Update: gnome-shell-extension-historymanager-prefix-search-12-7.el7