summarylogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2ce0ba2d8f84..c1bbc8a241a4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-hotel-manager
pkgdesc = Gnome Shell extension to manage Hotel development servers
- pkgver = 18
+ pkgver = 19
pkgrel = 1
url = https://github.com/hardpixel/hotel-manager
arch = any
@@ -8,7 +8,7 @@ pkgbase = gnome-shell-extension-hotel-manager
depends = gnome-shell
provides = gnome-shell-extension-hotel-manager
conflicts = gnome-shell-extension-hotel-manager-git
- source = gnome-shell-extension-hotel-manager-18.tar.gz::https://github.com/hardpixel/hotel-manager/archive/v18.tar.gz
- md5sums = d5743d40bceeb521fb70409c58ac70d4
+ source = gnome-shell-extension-hotel-manager-19.tar.gz::https://github.com/hardpixel/hotel-manager/archive/v19.tar.gz
+ md5sums = a36fd15d270c7839a8ee4d2e8ab94818
pkgname = gnome-shell-extension-hotel-manager
diff --git a/PKGBUILD b/PKGBUILD
index 92888ca54c11..ebba2d186ef0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: Jonian Guveli <https://github.com/jonian/>
pkgname=gnome-shell-extension-hotel-manager
-pkgver=18
+pkgver=19
pkgrel=1
pkgdesc="Gnome Shell extension to manage Hotel development servers"
arch=("any")
@@ -10,7 +10,7 @@ depends=("gnome-shell")
provides=("gnome-shell-extension-hotel-manager")
conflicts=("gnome-shell-extension-hotel-manager-git")
source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz")
-md5sums=('d5743d40bceeb521fb70409c58ac70d4')
+md5sums=('a36fd15d270c7839a8ee4d2e8ab94818')
package() {
install -d "$pkgdir/usr/share/gnome-shell/extensions" \