blob: d66e0701cab0e00f1a8407e18e14c5c0c0f25bfe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = gnome-shell-extension-ddterm
pkgdesc = Another Drop Down Terminal Extension for GNOME Shell
pkgver = 30
pkgrel = 1
url = https://github.com/amezin/gnome-shell-extension-ddterm
install = ddterm.install
arch = any
license = GPL3
makedepends = zip
depends = gnome-shell
source = gnome-shell-extension-ddterm-v30.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v30/ddterm@amezin.github.com.shell-extension.zip
sha256sums = b2d773ce71ef586668a4d54fa5c7a797c32930cda13029d197afae363f97b4a8
pkgname = gnome-shell-extension-ddterm
|