gnome-shell-extensions: update to 3.8.3.

This commit is contained in:
Juan RP 2013-06-11 00:19:47 +02:00
parent d60bf6599c
commit 4293fe4515
1 changed files with 3 additions and 3 deletions

View File

@ -1,7 +1,7 @@
# Template file for 'gnome-shell-extensions' # Template file for 'gnome-shell-extensions'
pkgname=gnome-shell-extensions pkgname=gnome-shell-extensions
version=3.8.2 version=3.8.3
revision=2 revision=1
build_style=gnu-configure build_style=gnu-configure
configure_args="--enable-extensions=all" configure_args="--enable-extensions=all"
hostmakedepends="pkg-config intltool" hostmakedepends="pkg-config intltool"
@ -11,7 +11,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://live.gnome.org/GnomeShell/Extensions" homepage="http://live.gnome.org/GnomeShell/Extensions"
license="GPL-2" license="GPL-2"
distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz"
checksum=216714d6edd79cb8d5d81fbf0d7d448a199922cf344315f50c1a3f1f1f0b385e checksum=53897ebfaf078b46dcffe4b76e91d6441fa00247a103a6c3a58855c796df7c9b
gnome-shell-extensions_package() { gnome-shell-extensions_package() {
noarch="yes" noarch="yes"