From 022a1bd2a2cddc81556c74b96e546f7d16b719d8 Mon Sep 17 00:00:00 2001 From: Brent Baude Date: Thu, 1 Mar 2012 23:53:48 +0000 Subject: Marking proofgeneral-4.1 ppc for bug 404605 Package-Manager: portage-2.1.10.11/cvs/Linux ppc64 --- app-emacs/proofgeneral/ChangeLog | 5 ++++- app-emacs/proofgeneral/proofgeneral-4.1.ebuild | 4 ++-- 2 files changed, 6 insertions(+), 3 deletions(-) (limited to 'app-emacs/proofgeneral') diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index f9176f7008b6..5bb2b6a13015 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.34 2012/02/26 15:48:32 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.35 2012/03/01 23:53:48 ranger Exp $ + + 01 Mar 2012; Brent Baude proofgeneral-4.1.ebuild: + Marking proofgeneral-4.1 ppc for bug 404605 26 Feb 2012; Agostino Sarubbo proofgeneral-4.1.ebuild: Stable for amd64, wrt bug #404605 diff --git a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild index 9c2669350740..4fdff91d0b38 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.2 2012/02/26 15:48:32 ago Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.1.ebuild,v 1.3 2012/03/01 23:53:48 ranger Exp $ EAPI=4 NEED_EMACS=23 @@ -14,7 +14,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="amd64 ~ppc ~x86" +KEYWORDS="amd64 ppc ~x86" IUSE="" DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" -- cgit v1.2.3-65-gdbad