From 22d8b79f21242279a5620e27befe8ff6fe2cc7ad Mon Sep 17 00:00:00 2001
From: Agostino Sarubbo <ago@gentoo.org>
Date: Tue, 24 Dec 2013 12:45:52 +0000
Subject: Stable for x86, wrt bug #490100

(Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
---
 app-emacs/proofgeneral/ChangeLog               | 5 ++++-
 app-emacs/proofgeneral/proofgeneral-4.2.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 1fa54171d8c8..f8ee3040d5d2 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,9 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.40 2013/12/22 16:46:25 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.41 2013/12/24 12:45:52 ago Exp $
+
+  24 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild:
+  Stable for x86, wrt bug #490100
 
   22 Dec 2013; Pacho Ramos <pacho@gentoo.org> proofgeneral-4.2.ebuild:
   amd64 stable, bug #490100
diff --git a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild
index 723dbd310a33..a2f63e1360af 100644
--- a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.3 2013/12/22 16:46:25 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.4 2013/12/24 12:45:52 ago Exp $
 
 EAPI=5
 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