# 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