diff options
author | jonian | 2022-05-25 21:59:01 +0300 |
---|---|---|
committer | jonian | 2022-05-25 21:59:01 +0300 |
commit | f007a104585984b0d66b2482a95469567757bcc7 (patch) | |
tree | 825b9618391b2a95a65f2e67b9df6656fe393461 | |
parent | 82e1ebf2b640ca50dd32200d7686e576bab8294a (diff) | |
download | aur-gnome-shell-extension-development-utility.tar.gz |
version update to 2
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=gnome-shell-extension-development-utility -pkgver=2 +pkgver=3 pkgrel=1 pkgdesc="An extension that provides utilities to help with GNOME Shell extensions development" arch=("any") @@ -9,7 +9,7 @@ license=("GPL") depends=("gnome-shell") conflicts=("gnome-shell-extension-development-utility-git") source=("$pkgname-$pkgver.tar.gz::$url/archive/$pkgver.tar.gz") -md5sums=("befb01c84162d97345ce171947074aa8") +md5sums=('adb0e49ee3d80d806400c8920b297270') package() { install -d "$pkgdir/usr/share/gnome-shell/extensions" \ |