blob: 7b34ae8233841aa55a613ff988ec9ddb88fa74d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
pkgbase = gnome-shell-extension-ddterm-git
pkgdesc = Another Drop Down Terminal Extension for GNOME Shell (Github version).
pkgver = 59.r13.ga51fda4f
pkgrel = 1
url = https://github.com/ddterm/gnome-shell-extension-ddterm
install = gnome-shell-extension-ddterm.install
arch = any
license = GPL-3.0-or-later
makedepends = jq
makedepends = meson
makedepends = git
makedepends = gtk4
makedepends = libxslt
makedepends = xorg-server-xvfb
depends = gjs
depends = gtk3
provides = gnome-shell-extension-ddterm
conflicts = gnome-shell-extension-ddterm
source = gnome-shell-extension-ddterm::git+https://github.com/ddterm/gnome-shell-extension-ddterm.git
sha256sums = SKIP
pkgname = gnome-shell-extension-ddterm-git
depends = gjs
depends = gtk3
depends = gnome-shell
depends = vte3
depends = libhandy
|