blob: 57e92702f616993af4489b9f2c2b3d0df9238fc7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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 = 1
url = https://github.com/petres/gnome-shell-extension-extensions
arch = any
license = GPL3
source = https://extensions.gnome.org/extension-data/extensionsabteil.org.v11.shell-extension.zip
md5sums = 14d383540cd224d91c7f5424c1178e8a
pkgname = gnome-shell-extension-extensions
|