diff options
-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" \ |