From 4293fe4515219941d76bc3f4060f02513d1a315b Mon Sep 17 00:00:00 2001 From: Juan RP Date: Tue, 11 Jun 2013 00:19:47 +0200 Subject: [PATCH] gnome-shell-extensions: update to 3.8.3. --- srcpkgs/gnome-shell-extensions/template | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/srcpkgs/gnome-shell-extensions/template b/srcpkgs/gnome-shell-extensions/template index ae6a927763e..ac28b992133 100644 --- a/srcpkgs/gnome-shell-extensions/template +++ b/srcpkgs/gnome-shell-extensions/template @@ -1,7 +1,7 @@ # Template file for 'gnome-shell-extensions' pkgname=gnome-shell-extensions -version=3.8.2 -revision=2 +version=3.8.3 +revision=1 build_style=gnu-configure configure_args="--enable-extensions=all" hostmakedepends="pkg-config intltool" @@ -11,7 +11,7 @@ maintainer="Juan RP " homepage="http://live.gnome.org/GnomeShell/Extensions" license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" -checksum=216714d6edd79cb8d5d81fbf0d7d448a199922cf344315f50c1a3f1f1f0b385e +checksum=53897ebfaf078b46dcffe4b76e91d6441fa00247a103a6c3a58855c796df7c9b gnome-shell-extensions_package() { noarch="yes"