# 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