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 /.SRCINFO | |
| parent | ef2b837245c9d51214a2c11038e8afb95fb1806b (diff) | |
| download | aur-bfcda6196a53ddbfe0fa2cbe7a91e68716da2451.tar.gz | |
updpkg
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 3 insertions, 5 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 |