blob: 988956fb4185916e9bc888f2ed26d79c531f1d7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# 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
pkgrel = 1
url = https://github.com/zzrough/gs-extensions-drop-down-terminal
install = gnome-shell-extension-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
pkgname = gnome-shell-extension-drop-down-terminal
|