blob: 184b0e62d6e717b0edb497a0b7e3cb79335d4876 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Generated by mksrcinfo v8
# Fri May 18 04:08:44 UTC 2018
pkgbase = gnome-shell-extension-datetime-format-git
pkgdesc = Gnome extension which allows users to customise the datetime format on the status bar and date menu.
pkgver = r5.f660b1e
pkgrel = 1
url = https://github.com/Daniel-Khodabakhsh/datetime-format
install = gnome-shell-extension.install
arch = any
license = GPL3
makedepends = git
makedepends = nodejs
depends = gnome-shell>=3.20
provides = gnome-shell-extension-datetime-format
conflicts = gnome-shell-extension-datetime-format
source = gnome-shell-extension-datetime-format::git+https://github.com/Daniel-Khodabakhsh/datetime-format.git
source = build.patch
sha256sums = SKIP
sha256sums = ca11b183e163eb143ea3a7ae937df07bd9759ff141764ac09117364cff8fc10d
pkgname = gnome-shell-extension-datetime-format-git
|