diff options
author | mschubert | 2020-06-06 14:50:08 +0200 |
---|---|---|
committer | mschubert | 2020-06-06 14:50:08 +0200 |
commit | 210b34e90d289874adb383e45f1b9d9f07fed81e (patch) | |
tree | d8249b596b5aa524773a5936cca8b2fb2152a7d5 /.SRCINFO | |
parent | dbba412e61bc471d41f16a6ef83b220a48dddbea (diff) | |
download | aur-210b34e90d289874adb383e45f1b9d9f07fed81e.tar.gz |
version bump 24 (patch 1)
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -1,16 +1,14 @@ -# Generated by mksrcinfo v8 -# Tue Jan 31 18:03:29 UTC 2017 pkgbase = gnome-shell-extension-drop-down-terminal pkgdesc = Drop Down Terminal extension for the Gnome Shell - pkgver = 23 + pkgver = 24p1 pkgrel = 1 url = https://github.com/zzrough/gs-extensions-drop-down-terminal - install = gnome-shell-extension-drop-down-terminal.install + install = drop-down-terminal.install arch = any license = GPL3 depends = gnome-shell - source = https://github.com/zzrough/gs-extensions-drop-down-terminal/archive/v23.tar.gz - sha256sums = d71169036423d5f40c8b46a605413e45008d88909b2794f1a83178c030dacf31 + source = drop-down-terminal-24p1.tar.gz::https://github.com/zzrough/gs-extensions-drop-down-terminal/archive/7f777b6e3a72f28c74cd54f64e60408e6e1f3495.tar.gz + sha256sums = e358ab231dcfd36f5948e6012fcd135ae9cfd51929050459312dc331acffc3c8 pkgname = gnome-shell-extension-drop-down-terminal |