blob: aba07180212c52e1474b280d518a4aa1013ce6b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = gnome-shell-extension-extensions
pkgdesc = Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel.
pkgver = 11
pkgrel = 3
url = https://github.com/petres/gnome-shell-extension-extensions
arch = any
license = GPL3
depends = gnome-shell
provides = gnome-shell-extension-extensions-git
conflicts = gnome-shell-extension-extensions-git
source = https://extensions.gnome.org/extension-data/extensionsabteil.org.v11.shell-extension.zip
md5sums = 14d383540cd224d91c7f5424c1178e8a
pkgname = gnome-shell-extension-extensions
|