blob: 18b373f894a0631208490818ca351612b2d35262 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Generated by mksrcinfo v8
# Fri Sep 20 08:01:33 UTC 2019
pkgbase = gnome-shell-extension-xrdesktop-git
pkgdesc = An extension for toggling xrdesktop mode in GNOME Shell.
pkgver = 0.13.0.23.aee295a
pkgrel = 1
url = https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop
arch = any
license = MIT
makedepends = meson
makedepends = git
makedepends = js52
conflicts = gnome-shell-extension-xrdesktop
replaces = gnome-shell-extension-xrdesktop
source = git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell-extension-xrdesktop.git
sha256sums = SKIP
pkgname = gnome-shell-extension-xrdesktop-git
depends = gnome-shell
|