blob: 85773a57edd1d3d98deda2e857961ec54b18d276 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Tue Apr 12 18:24:22 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 = r11.4655786
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
|