diff options
| author | mschubert | 2020-09-04 15:31:52 +0200 |
|---|---|---|
| committer | mschubert | 2020-09-04 15:31:52 +0200 |
| commit | 54c851763f02ba76fcd0b225b5931dfd956b4460 (patch) | |
| tree | 9356d01fccd0cbd0f37a95358ff927ee2b261efc | |
| parent | 210b34e90d289874adb383e45f1b9d9f07fed81e (diff) | |
| download | aur-54c851763f02ba76fcd0b225b5931dfd956b4460.tar.gz | |
ref patch after '.'
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,13 +1,13 @@ pkgbase = gnome-shell-extension-drop-down-terminal pkgdesc = Drop Down Terminal extension for the Gnome Shell - pkgver = 24p1 + pkgver = 24.patch1 pkgrel = 1 url = https://github.com/zzrough/gs-extensions-drop-down-terminal install = drop-down-terminal.install arch = any license = GPL3 depends = gnome-shell - source = drop-down-terminal-24p1.tar.gz::https://github.com/zzrough/gs-extensions-drop-down-terminal/archive/7f777b6e3a72f28c74cd54f64e60408e6e1f3495.tar.gz + source = drop-down-terminal-24.patch1.tar.gz::https://github.com/zzrough/gs-extensions-drop-down-terminal/archive/7f777b6e3a72f28c74cd54f64e60408e6e1f3495.tar.gz sha256sums = e358ab231dcfd36f5948e6012fcd135ae9cfd51929050459312dc331acffc3c8 pkgname = gnome-shell-extension-drop-down-terminal @@ -1,7 +1,7 @@ # Maintainer: Maxim Andersson <thesilentboatman@gmail.com> _pkgname=drop-down-terminal pkgname=gnome-shell-extension-$_pkgname -pkgver=24p1 +pkgver=24.patch1 pkgrel=1 pkgdesc="Drop Down Terminal extension for the Gnome Shell" arch=('any') |