summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 474e80a57e89..4332d9e582bd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Sat Oct 7 16:21:10 UTC 2017
+# Sat Oct 7 17:26:31 UTC 2017
pkgbase = gnome-shell-extension-hotel-manager
pkgdesc = Gnome Shell extension to manage Hotel development servers
pkgver = 3
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/hardpixel/hotel-manager
arch = any
license = GPL
@@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-hotel-manager
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
+ md5sums = 02c8732504f633be0049b1bab22ea886
pkgname = gnome-shell-extension-hotel-manager
diff --git a/PKGBUILD b/PKGBUILD
index d3d584c9ac17..6e1873df33c9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Jonian Guveli <https://github.com/jonian/>
pkgname=gnome-shell-extension-hotel-manager
pkgver=3
-pkgrel=1
+pkgrel=2
pkgdesc="Gnome Shell extension to manage Hotel development servers"
arch=("any")
url="https://github.com/hardpixel/hotel-manager"
@@ -10,7 +10,7 @@ depends=("gnome-shell")
provides=("gnome-shell-extension-hotel-manager")
conflicts=("gnome-shell-extension-hotel-manager-git")
source=("$pkgname::https://github.com/hardpixel/hotel-manager/archive/v$pkgver.tar.gz")
-md5sums=("3d24ddb4ca1a8233a4621ac91086788c")
+md5sums=("02c8732504f633be0049b1bab22ea886")
package() {
mkdir -p "$pkgdir/usr/share/gnome-shell/extensions/"