diff options
author | hayao | 2020-12-18 21:27:06 +0900 |
---|---|---|
committer | hayao | 2020-12-18 21:27:06 +0900 |
commit | 20bf4bd457188d6190a5f0d9ba1fb76dbf96cc50 (patch) | |
tree | 0845c3eb85dc2d60cfda676768e8c2862ba5ac17 /.SRCINFO | |
parent | 316c35f4dfc54161f070233f562ca61e7d227012 (diff) | |
download | aur-gnome-shell-extension-extensions.tar.gz |
[update] : .SRCINFO
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,11 +1,13 @@ pkgbase = gnome-shell-extension-extensions pkgdesc = Extensions which allows to enable and disable extensions via a menu in the status area in the main menu panel. pkgver = 11 - pkgrel = 2 + pkgrel = 3 url = https://github.com/petres/gnome-shell-extension-extensions arch = any license = GPL3 depends = gnome-shell + provides = gnome-shell-extension-extensions-git + conflicts = gnome-shell-extension-extensions-git source = https://extensions.gnome.org/extension-data/extensionsabteil.org.v11.shell-extension.zip md5sums = 14d383540cd224d91c7f5424c1178e8a |