blob: 6af42543708a18d2f67285909734c50cd99ef04d (
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 = 58.r1.ga3417666
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
checkdepends = python-pytest
checkdepends = python-gobject
checkdepends = gnome-shell
checkdepends = wl-clipboard
makedepends = meson
makedepends = git
makedepends = gtk4
makedepends = libxslt
makedepends = xorg-server-xvfb
depends = gnome-shell
depends = gtk3
depends = vte3
depends = libhandy
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
|