blob: 7d9ed0a386b9854482481c96d7930604f09b6e27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Wed Mar 23 23:28:17 UTC 2016
pkgbase = gnome-shell-extension-drop-down-terminal
pkgdesc = Drop Down Terminal extension for the Gnome Shell
pkgver = 20
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/v20.tar.gz
sha256sums = 17192234cd792109cdbf6003df08b8cc8b0ed63bb81fe1cbe27154efb874a210
pkgname = gnome-shell-extension-drop-down-terminal
|