blob: 3186c04741a5c81ba7e95dd761d5b32d7d73ab69 (
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 Feb 28 13:45:39 UTC 2017
pkgbase = gnome-shell-extension-zorin-taskbar
pkgdesc = Various settings and changes for the panel in Zorin Desktop.
pkgver = 1.1.5_all
pkgrel = 1
url = http://zorinos.com/
install = gnome-shell-extension-zorin-taskbar.install
arch = i686
arch = x86_64
license = GPL-2+
depends = gnome-shell
options = !emptydirs
options = !strip
source = http://ppa.launchpad.net/zorinos/stable/ubuntu/pool/main/g/gnome-shell-extension-zorin-taskbar/gnome-shell-extension-zorin-taskbar_1.1.5_all.deb
md5sums = 62bed6b734ae2aec456be878c54dc182
pkgname = gnome-shell-extension-zorin-taskbar
|