blob: c7f0a607614d74afb64272af7905922b8aef278f (
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
|
pkgbase = gnome-shell-extension-ddterm-git
pkgdesc = Another Drop Down Terminal Extension for GNOME Shell (Github version).
pkgver = 62.0.2.r55.g10820aad
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
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
|