From 6f89e1816cf655745ff06a56f10c0402dc4c3fb3 Mon Sep 17 00:00:00 2001 From: Christian Faulhammer Date: Mon, 8 Oct 2007 21:59:11 +0000 Subject: stable x86, bug 195156 (Portage version: 2.1.3.9) --- app-emacs/proofgeneral/ChangeLog | 6 +++++- app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | 4 ++-- 2 files changed, 7 insertions(+), 3 deletions(-) (limited to 'app-emacs/proofgeneral') diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 475fec23342f..9184e3198938 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.14 2007/10/07 07:27:18 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.15 2007/10/08 21:59:11 opfer Exp $ + + 08 Oct 2007; Christian Faulhammer + proofgeneral-3.5-r1.ebuild: + stable x86, bug 195156 07 Oct 2007; Ulrich Mueller proofgeneral-3.5.ebuild, proofgeneral-3.5-r1.ebuild: diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild index 31be08087286..cf1c89aecb26 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.4 2007/10/07 07:27:18 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.5 2007/10/08 21:59:11 opfer Exp $ inherit elisp eutils @@ -12,7 +12,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ~ppc x86" IUSE="" S="${WORKDIR}/${MY_PN}" -- cgit v1.2.3-65-gdbad