diff options
Diffstat (limited to 'extra/mutter/PKGBUILD')
| -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 57c710ec5..52b2fa92d 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 196630 2013-10-15 21:30:35Z 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.10.0.1 +pkgver=3.10.1 pkgrel=1 pkgdesc="A window manager for GNOME" arch=(i686 x86_64) @@ -16,7 +16,7 @@ groups=('gnome') options=('!libtool' '!emptydirs') install=mutter.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) -sha256sums=('2d1288727d60b45c4d902101b805c89fa93f7a6b147bb4a7d3d99f990680b203') +sha256sums=('39f90c976873596455ce95c39bf2d9256736979a04e6e8961237961085538c20') build() { cd "$pkgname-$pkgver" |