diff options
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 |