blob: 264a5ed13c0050fca8ead8219e9fafd5e7e2a0d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Fri May 3 10:24:57 UTC 2019
pkgbase = gnome-shell-extension-drop-down-terminal-x
pkgdesc = Drop Down Terminal X extension for the Gnome Shell
pkgver = 1.1.1
pkgrel = 1
url = https://github.com/bigbn/drop-down-terminal-x
arch = any
license = GPL3
depends = gnome-shell
conflicts = gnome-shell-extension-drop-down-terminal
conflicts = gnome-shell-extension-drop-down-terminal-git
conflicts = gnome-shell-extension-drop-down-terminal-x-git
source = https://github.com/bigbn/drop-down-terminal-x/archive/1.1.1.tar.gz
sha256sums = da6d5cc105dc8e5bb218b6bb0909d5942439986fe51ece4b20af7d77fa4aec92
pkgname = gnome-shell-extension-drop-down-terminal-x
|