From 44f48a33e9d14898536a6b5480433c64627c7c28 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 15 Nov 2013 18:57:02 +0100 Subject: [PATCH] gnome-shell: update to 3.10.2.1. --- srcpkgs/gnome-shell/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template index e9aaa973c13..e60c431bb5b 100644 --- a/srcpkgs/gnome-shell/template +++ b/srcpkgs/gnome-shell/template @@ -1,6 +1,6 @@ # Template file for 'gnome-shell' pkgname=gnome-shell -version=3.10.2 +version=3.10.2.1 revision=1 build_style=gnu-configure configure_args="--disable-schemas-compile" @@ -18,7 +18,7 @@ maintainer="Juan RP " homepage="http://live.gnome.org/GnomeShell" license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.10/$pkgname-$version.tar.xz" -checksum=f633f92aaccc82653d62a43a438e54c6b9508d57d1d03cf5c896141cd90a20e9 +checksum=d28cedc4f7dbcbd979ef2a0b80f722ff507989fce193fe59351b1d048d17c44c post_install() { rm -rf ${DESTDIR}/usr/share/gtk-doc