blob: 474e80a57e89c9b437203c1744c22c677d433ba0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sat Oct 7 16:21:10 UTC 2017
pkgbase = gnome-shell-extension-hotel-manager
pkgdesc = Gnome Shell extension to manage Hotel development servers
pkgver = 3
pkgrel = 1
url = https://github.com/hardpixel/hotel-manager
arch = any
license = GPL
depends = gnome-shell
provides = gnome-shell-extension-hotel-manager
conflicts = gnome-shell-extension-hotel-manager-git
source = gnome-shell-extension-hotel-manager::https://github.com/hardpixel/hotel-manager/archive/v3.tar.gz
md5sums = 3d24ddb4ca1a8233a4621ac91086788c
pkgname = gnome-shell-extension-hotel-manager
|