blob: e9448028d16f2ba2c955f429fbfb0a1fef49dee5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Generated by mksrcinfo v8
# Wed Aug 8 18:24:26 UTC 2018
pkgbase = gnome-shell-extension-dash-to-panel-git
pkgdesc = Extension for GNOME shell to combine the dash and main panel
pkgver = 15.r8.g38fc3ef
pkgrel = 1
url = https://github.com/jderose9/dash-to-panel
install = gnome-shell-extension.install
arch = any
license = GPL2
makedepends = git
makedepends = gnome-common
makedepends = intltool
depends = gnome-shell>=3.18
provides = gnome-shell-extension-dash-to-panel
conflicts = gnome-shell-extension-dash-to-panel
source = git+https://github.com/jderose9/dash-to-panel.git
sha256sums = SKIP
pkgname = gnome-shell-extension-dash-to-panel-git
|