summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO10
1 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4332d9e582bd..f7f36173699a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,17 @@
# Generated by mksrcinfo v8
-# Sat Oct 7 17:26:31 UTC 2017
+# Sat Oct 21 15:06:56 UTC 2017
pkgbase = gnome-shell-extension-hotel-manager
pkgdesc = Gnome Shell extension to manage Hotel development servers
- pkgver = 3
- pkgrel = 2
+ pkgver = 4
+ 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 = 02c8732504f633be0049b1bab22ea886
+ source = gnome-shell-extension-hotel-manager::https://github.com/hardpixel/hotel-manager/archive/v4.tar.gz
+ md5sums = dbc0483d7ac054335bf26eca0bb91605
pkgname = gnome-shell-extension-hotel-manager