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 d06de63cb..98ba76da9 100644 --- a/extra/gnome-terminal/PKGBUILD +++ b/extra/gnome-terminal/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 183404 2013-04-21 22:10:33Z heftig $ +# $Id: PKGBUILD 185395 2013-05-13 18:52:30Z heftig $ # Maintainer: Jan de Groot <jgc@archlinux.org> pkgname=gnome-terminal -pkgver=3.8.1 +pkgver=3.8.2 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=('c49afab26973225f41ed35a9d5b5180d6207757e524056656146b30692f39fff') +sha256sums=('4937dfe9e88fcf56de6ed670989cd119b468a32bb078c6cf720c3c8831915347') build() { cd $pkgname-$pkgver |