diff options
Diffstat (limited to 'extra/mutter')
| -rw-r--r-- | extra/mutter/PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extra/mutter/PKGBUILD b/extra/mutter/PKGBUILD index 00488b85c..27b5d4955 100644 --- a/extra/mutter/PKGBUILD +++ b/extra/mutter/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 196125 2013-10-07 11:53:12Z jgc $ +# $Id: PKGBUILD 198332 2013-10-30 14:13:20Z allan $ # 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.10.0.1 +pkgver=3.10.1.1 pkgrel=1 pkgdesc="A window manager for GNOME" arch=(i686 x86_64 mips64el) @@ -13,10 +13,10 @@ depends=('clutter' 'dconf' 'gobject-introspection' 'gsettings-desktop-schemas' ' makedepends=('intltool' 'gnome-doc-utils') url="http://www.gnome.org" groups=('gnome') -options=('!libtool' '!emptydirs') +options=('!emptydirs') install=mutter.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) -sha256sums=('2d1288727d60b45c4d902101b805c89fa93f7a6b147bb4a7d3d99f990680b203') +sha256sums=('fa05200a367cd72dbba8c023f6828f79db24b8922e51b71f55148d3e35701c00') build() { cd "$pkgname-$pkgver" |