blob: cc1cf22516a8731b0881fc91e6403655302e7afa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# Generated by mksrcinfo v8
# Tue Oct 10 04:51:27 UTC 2017
pkgbase = gnome-shell-extension-dash-to-panel-git
pkgdesc = Extension for GNOME shell to combine the dash and main panel
pkgver = r231.25a80f1
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
|