summaryrefslogtreecommitdiff
path: root/extra/gnome-terminal
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-06-24 03:27:57 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-06-24 03:27:57 +0000
commitede7515706823fff2791a9a5225bbe0473005bc9 (patch)
tree9ad2b23ce54068133e44a9ea8623cceafc930172 /extra/gnome-terminal
parent43441dafdc65181ff8165e06736998981058064c (diff)
Tue Jun 24 03:25:03 UTC 2014
Diffstat (limited to 'extra/gnome-terminal')
-rw-r--r--extra/gnome-terminal/PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/gnome-terminal/PKGBUILD b/extra/gnome-terminal/PKGBUILD
index 943275064..02ec60f87 100644
--- a/extra/gnome-terminal/PKGBUILD
+++ b/extra/gnome-terminal/PKGBUILD
@@ -1,8 +1,8 @@
-# $Id: PKGBUILD 213505 2014-05-24 00:01:09Z heftig $
+# $Id: PKGBUILD 215397 2014-06-23 20:16:43Z heftig $
# Maintainer: Jan de Groot <jgc@archlinux.org>
pkgname=gnome-terminal
-pkgver=3.12.2
+pkgver=3.12.3
pkgrel=1
pkgdesc="The GNOME Terminal Emulator"
arch=(i686 x86_64)
@@ -16,7 +16,7 @@ url="http://www.gnome.org"
groups=('gnome')
install=gnome-terminal.install
source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz)
-sha256sums=('ea19ce610af2873d26e1e75491415e17af6a5080366db966f9220fdeea5ebecd')
+sha256sums=('8450da259fb485289d61fdbe5b59037be068e0dbdd5c7dd8216b60cd49d55528')
build() {
cd $pkgname-$pkgver