diff options
author | Mark Wagie | 2023-05-07 11:47:09 -0600 |
---|---|---|
committer | Mark Wagie | 2023-05-07 11:47:09 -0600 |
commit | 502a1b55c851088590750f83c921b1eb74e3f218 (patch) | |
tree | e10bda506ab30bc7a4d549134fcbeae0ed75f886 /PKGBUILD | |
parent | d3782ae55339fa48cb93b34fcef328e7cd2ae7c4 (diff) | |
download | aur-502a1b55c851088590750f83c921b1eb74e3f218.tar.gz |
bump Bazel version
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,8 +2,8 @@ # Co-Maintainer: Mark Wagie <mark dot wagie at tutanota dot com> pkgname=gnome-shell-extension-gtile-git -pkgver=51.r19.g6087d6c -pkgrel=1 +pkgver=51.r20.gf19decf +pkgrel=2 pkgdesc="A window tiling extension for GNOME" arch=('any') url="https://github.com/gTile/gTile" @@ -24,7 +24,7 @@ prepare() { cd "$srcdir/${pkgname%-git}" # Bump Bazel version: - sed -i 's/6.0.0/6.1.1/g' .bazelversion + sed -i 's/6.0.0/6.1.2/g' .bazelversion } build() { |