From 3b4eabf2058bfd6ab5f373e09cec2cda7ee90dd7 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 28 Apr 2010 01:04:44 +0200 Subject: [PATCH] gnome-terminal: update to 2.30.1. --HG-- extra : convert_revision : c430e22a2b5bf4b0d782afff67ccb80571c7635c --- 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 9d0f3b8e21..f25945cb44 100644 --- a/srcpkgs/gnome-terminal/template +++ b/srcpkgs/gnome-terminal/template @@ -1,6 +1,6 @@ # Template file for 'gnome-terminal' pkgname=gnome-terminal -version=2.30.0 +version=2.30.1 distfiles="${GNOME_SITE}/$pkgname/2.30/$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" short_desc="The GNOME terminal emulator application" maintainer="Juan RP " -checksum=989e251a8407952b8c42fa74c8049a485504dfe3c82663946c7b538199b0c5d5 +checksum=6f30ff97c0798dbfdc8e0910427d88d1d210b8b63f3d0a238a3d48ef2a280cd7 long_desc=" GNOME Terminal is a terminal emulation application that you can use to perform the following actions: