1 pkgbase = gnome-shell-extension-topicons-redux
2 pkgdesc = TopIcons Redux is a fork of TopIcons Plus
5 url = https://gitlab.com/pop-planet/TopIcons-Redux
7 groups = gnome-shell-extensions
11 provides = gnome-shell-extension-topicons-redux
12 source = git+https://gitlab.com/pop-planet/TopIcons-Redux.git#tag=6
15 pkgname = gnome-shell-extension-topicons-redux