blob: 113bb2cd784b2b3df1c38fa36c49eea4dc00f150 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Wed Oct 12 15:29:52 UTC 2016
pkgbase = gnome-shell-extension-extensions-git
pkgdesc = Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel.
pkgver = r21.e64f753
pkgrel = 1
url = https://github.com/petres/gnome-shell-extension-extensions
arch = any
license = GPL3
makedepends = git
depends = gnome-shell
source = git+https://github.com/petres/gnome-shell-extension-extensions
md5sums = SKIP
pkgname = gnome-shell-extension-extensions-git
|