MarsSeed [1] filed a deletion request for topmenu-gtk3-git [2]: EOL since 2018. [a] Also broken: configure: error: in '/build/topmenu-gtk3-git/src/topmenu-gtk': --with-gtk-srcdir was not specified. [a]: https://git.javispedro.com/cgit/topmenu-gtk.git [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/topmenu-gtk3-git/