From bd4275d98cb0d66eebdf8212f7bf741175ff3955 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 27 Apr 2011 15:44:25 +0200 Subject: [PATCH] gnome-terminal: update to 3.0.1. --- srcpkgs/gnome-terminal/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-terminal/template b/srcpkgs/gnome-terminal/template index 214047d3dd..9ac640f0d8 100644 --- a/srcpkgs/gnome-terminal/template +++ b/srcpkgs/gnome-terminal/template @@ -1,6 +1,6 @@ # Template file for 'gnome-terminal' pkgname=gnome-terminal -version=3.0.0 +version=3.0.1 distfiles="${GNOME_SITE}/$pkgname/3.0/$pkgname-$version.tar.bz2" build_style=gnu_configure configure_args="--disable-schemas-install --disable-scrollkeeper @@ -8,7 +8,7 @@ configure_args="--disable-schemas-install --disable-scrollkeeper --localstatedir=/var --with-gtk=3.0" short_desc="The GNOME terminal emulator application" maintainer="Juan RP " -checksum=16a3420176bbe5d58ad432306bfc40edb1423d43e311dd1d0de6da16559943f8 +checksum=388eda40663566cb785e2d92180e0b584c2c89acc3e7bcd30605601710fddc48 long_desc=" GNOME Terminal is a terminal emulation application that you can use to perform the following actions: