blob: 107c139fc681d30eadfb147f2bf62e0a8320a28b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Wed May 4 16:19: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 = r13.f0368e9
pkgrel = 1
url = https://github.com/petres/gnome-shell-extension-extensions
arch = any
license = GPL3
makedepends = git
depends = gnome-shell<3.21
source = git+https://github.com/petres/gnome-shell-extension-extensions
md5sums = SKIP
pkgname = gnome-shell-extension-extensions-git
|