diff options
| author | XZS | 2015-08-18 16:08:17 +0200 |
|---|---|---|
| committer | XZS | 2015-08-18 16:08:17 +0200 |
| commit | 1b1f44b8b6bfc44fe010273eca96cea6e65819bf (patch) | |
| tree | 274b1d7c43ac3a18925d4102cd1f94c6a351aed7 /.SRCINFO | |
| parent | 86cefebd4984f228e5ed0cf225b903693be19739 (diff) | |
| download | aur-1b1f44b8b6bfc44fe010273eca96cea6e65819bf.tar.gz | |
adopt package to collection
This package is now maintained as part of the collection of
gnome-shell-extensions and related templates on GitHub.
<https://github.com/dffischer/gnome-shell-extensions>
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -1,18 +1,20 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell - pkgver = 3.10.r445.2b62dc0 + pkgver = r502.89216cd pkgrel = 1 url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer - install = gnome-shell-extension-mediaplayer.install + install = gschemas.install arch = any license = GPL2 - makedepends = git makedepends = gnome-common makedepends = intltool + makedepends = git depends = gnome-shell optdepends = mpdris2-git: MPD support - source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer.git - sha256sums = SKIP + provides = gnome-shell-extension-mediaplayer + 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 |