From 8d2fe02be9f19acd3a2b7ec0ed61e5dba95c2d26 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 21 Feb 2014 21:00:38 +0100 Subject: [PATCH] gnome-shell: update to 3.10.4. --- srcpkgs/gnome-shell/template | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/srcpkgs/gnome-shell/template b/srcpkgs/gnome-shell/template index d8decaa954d..e0811abe795 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.3 +version=3.10.4 revision=1 build_style=gnu-configure configure_args="--disable-schemas-compile" @@ -8,19 +8,19 @@ hostmakedepends="pkg-config intltool gnome-doc-utils gobject-introspection" makedepends=" evolution-data-server>=3.10 gnome-desktop-devel>=3.10 json-glib-devel>=0.16.2 startup-notification-devel network-manager-applet-devel - clutter-devel>=1.16 gnome-bluetooth-devel>=3.10 mutter-devel>=3.10.2 + clutter-devel>=1.16 gnome-bluetooth-devel>=3.10 mutter-devel>=3.10.4 gjs-devel>=1.38 telepathy-logger-devel libcanberra-devel polkit-devel libcroco-devel pulseaudio-devel libgudev-devel gst-plugins-base1-devel>=1:1.2 systemd-devel caribou-devel>=0.4.12 gir-freedesktop gnome-control-center-devel>=3.10 folks-devel>=0.9.5 gnome-menus-devel>=3.8 mutter-wayland-devel glxinfo" depends="caribou>=0.4.12 pulseaudio glxinfo desktop-file-utils - gir-freedesktop gnome-control-center>=3.10 mutter>=3.10.2" + gir-freedesktop gnome-control-center>=3.10 mutter>=3.10.4" short_desc="GNOME core user interface" maintainer="Juan RP " homepage="http://live.gnome.org/GnomeShell" license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.10/$pkgname-$version.tar.xz" -checksum=4b14b9ffde08ccee6d972dea353b5f7ed8bbd12e52cb2252c31bcfe59d8242bc +checksum=e082f6847eedbbc474ffe4bcb3dfe51054eb0e4c5ddab440d39afed78526b726 post_install() { rm -rf ${DESTDIR}/usr/share/gtk-doc