diff options
| author | Lubosz Sarnecki | 2022-11-04 15:31:17 +0100 |
|---|---|---|
| committer | Lubosz Sarnecki | 2022-11-04 15:31:17 +0100 |
| commit | 31b84d01f38d50af256e8a4b9dde0019a9a25f5b (patch) | |
| tree | d5eede7cbd921196bcc4051c3d59ee25de026b4d | |
| parent | cdba0fbdcb04fbbe159dfee1e6a999d05209d2d0 (diff) | |
| download | aur-31b84d01f38d50af256e8a4b9dde0019a9a25f5b.tar.gz | |
Update to 0.16.
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-xrdesktop-git pkgdesc = An extension for toggling xrdesktop mode in GNOME Shell. - pkgver = 0.14.0.32.c23f566 + pkgver = 0.16.0.37.6124c8c pkgrel = 1 url = https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop arch = any @@ -10,7 +10,7 @@ pkgbase = gnome-shell-extension-xrdesktop-git makedepends = js78 conflicts = gnome-shell-extension-xrdesktop replaces = gnome-shell-extension-xrdesktop - source = git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop.git + source = git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop.git#branch=main sha256sums = SKIP pkgname = gnome-shell-extension-xrdesktop-git @@ -2,7 +2,7 @@ basename=gnome-shell-extension-xrdesktop pkgname=$basename-git -pkgver=0.14.0.32.c23f566 +pkgver=0.16.0.37.6124c8c pkgrel=1 pkgdesc="An extension for toggling xrdesktop mode in GNOME Shell." url="https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop" @@ -10,7 +10,7 @@ arch=(any) license=(MIT) makedepends=(meson git js78) -source=('git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop.git') +source=('git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop.git#branch=main') sha256sums=('SKIP') replaces=($basename) conflicts=($basename) |