diff options
author | Mantas Mikulėnas | 2017-09-28 14:28:47 +0200 |
---|---|---|
committer | XZS | 2017-09-28 14:34:26 +0200 |
commit | ae7b14da1daac075fa6eeaccd9ecb302e6db26e3 (patch) | |
tree | 52bf230989816da1a38c1b4ccca11c087de5a0c4 | |
parent | d93164eacdb83e13fd787774744ff54d84eba7ea (diff) | |
download | aur-ae7b14da1daac075fa6eeaccd9ecb302e6db26e3.tar.gz |
update upstream URL
Seemingly, the maintainer of the extension has changed, the old URL
redirects to JasonLG1979's repository. So it can be immediately used.
As both URLs point to the same data, this change does not modify the
package contents. So the pkgrel count is not incremented.
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -2,7 +2,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell pkgver = 2.8.1 pkgrel = 2 - url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer + url = https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer install = gschemas.install arch = any license = GPL2 @@ -13,7 +13,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git optdepends = mpdris2: MPD support provides = gnome-shell-extension-mediaplayer=2.8.1 conflicts = gnome-shell-extension-mediaplayer - source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer + source = gnome-shell-extension-mediaplayer::git+https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer md5sums = SKIP sha256sums = SKIP @@ -9,7 +9,7 @@ pkgver=2.8.1 pkgrel=2 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') -url='https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer' +url='https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer' license=('GPL2') makedepends=('meson' 'intltool') optdepends=('mpdris2: MPD support') |