gnome-shell-extensions: update to 3.8.3.1.

This commit is contained in:
Juan RP 2013-07-31 08:09:31 +02:00
parent 35fcd865f4
commit 7fe94e4b78

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.3 version=3.8.3.1
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"
@ -12,7 +12,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=53897ebfaf078b46dcffe4b76e91d6441fa00247a103a6c3a58855c796df7c9b checksum=0fae2c28e76d45d3bf8198007cf03d663b64c04b7dfeecd4826de8bea19f237d
gnome-shell-extensions_package() { gnome-shell-extensions_package() {
noarch="yes" noarch="yes"