diff options
Diffstat (limited to 'extra/gnome-terminal')
| -rw-r--r-- | extra/gnome-terminal/PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/gnome-terminal/PKGBUILD b/extra/gnome-terminal/PKGBUILD index 72cd0697d..ac374672a 100644 --- a/extra/gnome-terminal/PKGBUILD +++ b/extra/gnome-terminal/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 188152 2013-06-10 16:22:47Z heftig $ +# $Id: PKGBUILD 189824 2013-07-08 16:53:47Z heftig $ # Maintainer: Jan de Groot <jgc@archlinux.org> pkgname=gnome-terminal -pkgver=3.8.3 +pkgver=3.8.4 pkgrel=1 pkgdesc="The GNOME Terminal Emulator" arch=(i686 x86_64) @@ -15,7 +15,7 @@ url="http://www.gnome.org" groups=('gnome') install=gnome-terminal.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:3}/$pkgname-$pkgver.tar.xz) -sha256sums=('b368a9220f9a50fecdb57ba8ce7008c65e3c236bc700325a45ecb806f3ab4651') +sha256sums=('5c1a1db9b4c5eb5780137bed5ed6a05afd82053bd5b2ad41180d4617c56a3f22') build() { cd $pkgname-$pkgver |