From 8d0f25fb093229d0b95a8b58e3cd7f00eba410a8 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Mon, 26 Mar 2012 17:34:24 +0200 Subject: [PATCH] gnome-terminal: update to 3.4.0.1. --- srcpkgs/gnome-terminal/template | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/srcpkgs/gnome-terminal/template b/srcpkgs/gnome-terminal/template index dfb4dd4fbb..661daed324 100644 --- a/srcpkgs/gnome-terminal/template +++ b/srcpkgs/gnome-terminal/template @@ -1,15 +1,15 @@ # Template file for 'gnome-terminal' pkgname=gnome-terminal -version=3.3.0 -distfiles="${GNOME_SITE}/$pkgname/3.3/$pkgname-$version.tar.xz" +version=3.4.0.1 +distfiles="${GNOME_SITE}/$pkgname/3.4/$pkgname-$version.tar.xz" build_style=gnu-configure configure_args="--disable-schemas-install --disable-scrollkeeper ---with-gconf-schema-file-dir=/usr/share/gconf/schemas --with-gtk=3.0" +--with-gconf-schema-file-dir=/usr/share/gconf/schemas" short_desc="The GNOME terminal emulator application" maintainer="Juan RP " homepage="http://www.gnome.org" license="GPL-2" -checksum=7b158505dc1c8e03d75fabfae22eaec0404e934af0d0ab1eab202f0f8826befe +checksum=1369298498d62993b075dc6d4b9669bbce1acb7ba1f670a0ba39e40a2a25a092 long_desc=" GNOME Terminal is a terminal emulation application that you can use to perform the following actions: