diff options
author | Marcus Behrendt | 2020-06-25 00:01:31 +0200 |
---|---|---|
committer | Marcus Behrendt | 2020-06-25 00:01:31 +0200 |
commit | bfcda6196a53ddbfe0fa2cbe7a91e68716da2451 (patch) | |
tree | e85aa95c1ce794bb63e48249d6c8d293481c8124 | |
parent | ef2b837245c9d51214a2c11038e8afb95fb1806b (diff) | |
download | aur-bfcda6196a53ddbfe0fa2cbe7a91e68716da2451.tar.gz |
updpkg
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 7 deletions
@@ -1,16 +1,14 @@ -# Generated by mksrcinfo v8 -# Wed Feb 14 14:00:53 UTC 2018 pkgbase = gnome-shell-extension-remove-dropdown-arrows pkgdesc = Removes the dropdown arrows from the AppMenu and SystemMenu - pkgver = 9 + pkgver = 13 pkgrel = 1 url = https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows install = gnome-shell-extension-remove-dropdown-arrows.install arch = any license = GPL3 depends = gnome-shell - source = gnome-shell-extension-remove-dropdown-arrows-9.tar.gz::https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows/archive/version/9.tar.gz - sha256sums = a1049c82a710765acca89a0e5c3c8f9806ffeddb7b5259583a7368fb6b436eeb + source = gnome-shell-extension-remove-dropdown-arrows-13.tar.gz::https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows/archive/version/13.tar.gz + sha256sums = ee6c20da79d26529db3d6d6e5030c26892902183983f80337f390b6e6b3ac53f pkgname = gnome-shell-extension-remove-dropdown-arrows @@ -1,7 +1,7 @@ # Maintainer: Maxim Andersson <thesilentboatman@gmail.com> pkgname=gnome-shell-extension-remove-dropdown-arrows -pkgver=9 +pkgver=13 pkgrel=1 pkgdesc="Removes the dropdown arrows from the AppMenu and SystemMenu" arch=('any') @@ -10,7 +10,7 @@ license=('GPL3') depends=('gnome-shell') install=${pkgname}.install source=("${pkgname}-${pkgver}.tar.gz::https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows/archive/version/${pkgver}.tar.gz") -sha256sums=('a1049c82a710765acca89a0e5c3c8f9806ffeddb7b5259583a7368fb6b436eeb') +sha256sums=('ee6c20da79d26529db3d6d6e5030c26892902183983f80337f390b6e6b3ac53f') package() { _uuid='remove-dropdown-arrows@mpdeimos.com' |