gnome-shell-extensions: update to 3.12.2.

This commit is contained in:
Juan RP 2014-05-17 10:28:01 +02:00
parent 53f3a22c6e
commit 397d0923f8
1 changed files with 2 additions and 2 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'gnome-shell-extensions'
pkgname=gnome-shell-extensions
version=3.12.0
version=3.12.2
revision=1
noarch="yes"
build_style=gnu-configure
@ -13,4 +13,4 @@ maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://live.gnome.org/GnomeShell/Extensions"
license="GPL-2"
distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
checksum=75f5d4c0c7081466fe3cdb8252b8ba4bec821aec4185c1ca72fc9fa10601ee58
checksum=30ba6e4792062e5a5cdd18e4a12230e68bfed1ded7de433ad241dd75e7ae2fc6