diff options
author | XZS | 2017-03-11 14:22:29 +0100 |
---|---|---|
committer | XZS | 2017-03-11 14:22:29 +0100 |
commit | b24461d2a0f40bebb40de1a88d937bc395ec57f1 (patch) | |
tree | 942bace72223db3383c1569ba5c9412779940ba6 | |
parent | 19e638b7c0843c13806602974f82faa911d3df45 (diff) | |
download | aur-b24461d2a0f40bebb40de1a88d937bc395ec57f1.tar.gz |
propagate upstream update
Some new features are worth shipping out, first and foremost the recent
implementation of the track list interface. Besides that, the graphical
interface was improved and overall efficiency increased.
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell - pkgver = r566 + pkgver = r616 pkgrel = 1 url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer install = gschemas.install @@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git makedepends = git depends = gnome-shell optdepends = mpdris2-git: MPD support - provides = gnome-shell-extension-mediaplayer=r566 + provides = gnome-shell-extension-mediaplayer=r616 conflicts = gnome-shell-extension-mediaplayer source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer md5sums = SKIP @@ -5,7 +5,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-mediaplayer-git -pkgver=r566 +pkgver=r616 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |