diff options
Diffstat (limited to 'extra/gnome-terminal/PKGBUILD')
| -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 98ba76da9..72cd0697d 100644 --- a/extra/gnome-terminal/PKGBUILD +++ b/extra/gnome-terminal/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 185395 2013-05-13 18:52:30Z heftig $ +# $Id: PKGBUILD 188152 2013-06-10 16:22:47Z heftig $ # Maintainer: Jan de Groot <jgc@archlinux.org> pkgname=gnome-terminal -pkgver=3.8.2 +pkgver=3.8.3 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=('4937dfe9e88fcf56de6ed670989cd119b468a32bb078c6cf720c3c8831915347') +sha256sums=('b368a9220f9a50fecdb57ba8ce7008c65e3c236bc700325a45ecb806f3ab4651') build() { cd $pkgname-$pkgver |