blob: 803e04716a869458ba74c7d74cad52ebd9f85ab6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# Generated by mksrcinfo v8
# Fri Nov 24 10:25:45 UTC 2017
pkgbase = gnome-shell-extension-dash-to-panel-git
pkgdesc = Extension for GNOME shell to combine the dash and main panel
pkgver = r262.187ac72
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
source = git+https://github.com/jderose9/dash-to-panel.git
sha256sums = SKIP
pkgname = gnome-shell-extension-dash-to-panel-git
|