blob: bbd49750251fcb6ba104d0e652235c4529567483 (
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
# Sat Jul 1 09:20:02 UTC 2017
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 = r3.9773e76
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
|