blob: ee2d48971446df47da6f4bf58e394cb11982fd56 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = gnome-shell-extension-ddterm-git
pkgdesc = Another Drop Down Terminal Extension for GNOME Shell (Github version).
pkgver = 50.r13.g03d9ff0
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 = meson
makedepends = git
makedepends = gtk4
makedepends = libxslt
makedepends = xorg-server-xvfb
depends = gnome-shell
depends = gtk3
depends = vte3
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
|