blob: 44ea2efd6d2e5e30587283d5a4aad233fe400058 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Generated by mksrcinfo v8
# Sun Feb 7 15:16:35 UTC 2016
pkgbase = gnome-shell-extension-mediaplayer-git
pkgdesc = A mediaplayer indicator for the Gnome Shell
pkgver = r519
pkgrel = 1
url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
install = gschemas.install
arch = any
license = GPL2
makedepends = gnome-common
makedepends = intltool
makedepends = git
depends = gnome-shell
optdepends = mpdris2-git: MPD support
provides = gnome-shell-extension-mediaplayer=r519
conflicts = gnome-shell-extension-mediaplayer
source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
md5sums = SKIP
pkgname = gnome-shell-extension-mediaplayer-git
|