From 7fe94e4b782897877df3191f256449d753ea4975 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 31 Jul 2013 08:09:31 +0200 Subject: [PATCH] gnome-shell-extensions: update to 3.8.3.1. --- 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 f140485cdd1..48173f1e863 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.3 -revision=2 +version=3.8.3.1 +revision=1 build_style=gnu-configure configure_args="--enable-extensions=all" hostmakedepends="pkg-config intltool" @@ -12,7 +12,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=53897ebfaf078b46dcffe4b76e91d6441fa00247a103a6c3a58855c796df7c9b +checksum=0fae2c28e76d45d3bf8198007cf03d663b64c04b7dfeecd4826de8bea19f237d gnome-shell-extensions_package() { noarch="yes"