diff options
author | DriverXX | 2018-07-04 13:53:34 +0200 |
---|---|---|
committer | DriverXX | 2018-07-04 13:53:34 +0200 |
commit | e3207e566362ff41926a3345dc5f0d967935ddc2 (patch) | |
tree | a31078fd1dc19f1c3d0a1cf247ab0a393e6da138 | |
parent | 20f2633683b6d58cc89f3d6309f33057804a7605 (diff) | |
download | aur-gnome-shell-extension-workspace-grid.tar.gz |
Update to v1.5
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,13 +1,13 @@ pkgbase = gnome-shell-extension-workspace-grid pkgdesc = Allows to configure your workspaces in a grid - pkgver = 1.4.1 + pkgver = 1.5 pkgrel = 1 url = https://github.com/zakkak/workspace-grid arch = any license = GPL3 depends = gnome-shell - source = gnome-shell-extension-workspace-grid-1.4.1.tar.gz::https://github.com/zakkak/workspace-grid/archive/v1.4.1.tar.gz - sha512sums = 9a89da51b687d4f20003455760db7bd102ac4265073531a4781b824c6b130920a05164d65d81947d9a8331c209bc44fa9c69d17bfa5ae8ec9ac8607a3d97b923 + source = gnome-shell-extension-workspace-grid-1.5.tar.gz::https://github.com/zakkak/workspace-grid/archive/v1.5.tar.gz + sha512sums = d357082b23850f51590b4cb3afd635504fd41d8d1c8170e923c7dcc031ea57a015bbd0a81aea3661b0f9e3b397f29ba89b1bb16f438c4bbde0492a26e0b76b57 pkgname = gnome-shell-extension-workspace-grid @@ -4,7 +4,7 @@ _pkgname=workspace-grid pkgname=gnome-shell-extension-workspace-grid -pkgver=1.4.1 +pkgver=1.5 pkgrel=1 pkgdesc="Allows to configure your workspaces in a grid" arch=('any') @@ -12,7 +12,7 @@ url="https://github.com/zakkak/workspace-grid" license=('GPL3') depends=('gnome-shell') source=("$pkgname-$pkgver.tar.gz::https://github.com/zakkak/workspace-grid/archive/v$pkgver.tar.gz") -sha512sums=('9a89da51b687d4f20003455760db7bd102ac4265073531a4781b824c6b130920a05164d65d81947d9a8331c209bc44fa9c69d17bfa5ae8ec9ac8607a3d97b923') +sha512sums=('d357082b23850f51590b4cb3afd635504fd41d8d1c8170e923c7dcc031ea57a015bbd0a81aea3661b0f9e3b397f29ba89b1bb16f438c4bbde0492a26e0b76b57') _uuid='workspace-grid@mathematical.coffee.gmail.com' |