diff options
Diffstat (limited to 'extra/mutter')
-rw-r--r-- | extra/mutter/PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/mutter/PKGBUILD b/extra/mutter/PKGBUILD index 427ad32f9..d4484c556 100644 --- a/extra/mutter/PKGBUILD +++ b/extra/mutter/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 210520 2014-04-14 20:07:20Z jgc $ +# $Id: PKGBUILD 211252 2014-04-18 11:36:10Z heftig $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Maintainer: Ionut Biru <ibiru@archlinux.org> # Contributor: Michael Kanis <mkanis_at_gmx_dot_de> pkgname=mutter -pkgver=3.12.0 +pkgver=3.12.1 pkgrel=1 pkgdesc="A window manager for GNOME" arch=(i686 x86_64) @@ -16,7 +16,7 @@ groups=('gnome') options=('!emptydirs') install=mutter.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) -sha256sums=('1dcc5c71a80b74c48e8a3f1ce90bd718ab53b267cd20fe28b1543c358bb42ac6') +sha256sums=('d0fe35ec7a6e8ef0c8d589243adeae3dc663be11169388228939cc56a4c0df2a') build() { cd "$pkgname-$pkgver" |