diff options
| author | XZS | 2017-09-28 14:27:31 +0200 |
|---|---|---|
| committer | XZS | 2017-09-28 14:27:31 +0200 |
| commit | 8f8123d017c89d0980f86d4d294da5adf16362c5 (patch) | |
| tree | 76bb268e9b0859e1c82fd047c9a87ac19a20af6e /.SRCINFO | |
| parent | 697e65776b4ac0a7d9104548d5495466bfae02ae (diff) | |
| download | aur-8f8123d017c89d0980f86d4d294da5adf16362c5.tar.gz | |
propagate upstream update
New options are available, the compatibility of some players was fixed
along with visual improvements. Also, more warning messages were
silenced, further cleaning up the log.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell - pkgver = r658 + pkgver = r670 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=r658 + provides = gnome-shell-extension-mediaplayer=r670 conflicts = gnome-shell-extension-mediaplayer source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer md5sums = SKIP |