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