From: Agostino Sarubbo <ago@gentoo.org>
Date: Fri, 11 Oct 2019 10:09:03 +0000 (+0200)
Subject: app-emacs/proofgeneral: amd64 stable wrt bug #697424
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=9e774b8cb878527c90710a1271560d80e47fa1ca;p=gentoo.git

app-emacs/proofgeneral: amd64 stable wrt bug #697424

Package-Manager: Portage-2.3.76, Repoman-2.3.16
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
---

diff --git a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
index 0b9df0133b68..74e694ec5aea 100644
--- a/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/ProofGeneral/PG/archive/v${PV}.tar.gz -> ${P}.tar.gz
 
 LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc ~x86"
 
 RDEPEND=">=app-emacs/mmm-mode-0.4.8-r2"
 BDEPEND="${RDEPEND}"