summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorcarl.george2015-08-05 10:06:08 -0500
committercarl.george2015-08-05 10:06:08 -0500
commit288c80686cb3a093695702800286eb947bc3f5df (patch)
tree5976b59b2b2504c76e5e6934ea95025b398acef8 /PKGBUILD
parent5041cdb94d499d1ce58820a0fdc94bbcc5d76cd7 (diff)
downloadaur-288c80686cb3a093695702800286eb947bc3f5df.tar.gz
47-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index bdeb4d8f285..da0df2c5bc0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,8 +6,8 @@ _extname="dash-to-dock"
_author="micheleg"
pkgname="gnome-shell-extension-${_extname}"
-pkgver=46
-pkgrel=4
+pkgver=47
+pkgrel=1
pkgdesc="This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops."
arch=("any")
url="https://${_author}.github.io/${_extname}/"
@@ -18,7 +18,7 @@ conflicts=("gnome-shell-extensions-dash-to-dock-git")
install="gschemas.install"
source=("https://github.com/${_author}/${_extname}/archive/extensions.gnome.org-v${pkgver}.tar.gz")
noextract=()
-md5sums=('f085cee5b4373029a00d7987081d1d5d')
+md5sums=('4c483e51b2bdf1687762aa03718a864d')
build() {
cd "${srcdir}/${_extname}-extensions.gnome.org-v${pkgver}"