summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2017-03-11 14:22:29 +0100
committerXZS2017-03-11 14:22:29 +0100
commitb24461d2a0f40bebb40de1a88d937bc395ec57f1 (patch)
tree942bace72223db3383c1569ba5c9412779940ba6
parent19e638b7c0843c13806602974f82faa911d3df45 (diff)
downloadaur-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--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1fee458e497b..318471de2b34 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index a95062a25b1c..95e1914cadef 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')