blob: 909103e55225c7af4eb05ef94e4696768ea3734a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Sun Apr 10 01:08:31 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 = r10.eac8f17
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
|