Gentoo Archives: gentoo-commits

From:	Agostino Sarubbo <ago@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/gentoo:master commit in: app-emacs/proofgeneral/
Date:	Tue, 16 Aug 2022 07:46:24
Message-Id:	`1660635970.ad66bae0126f0d71066bbd4162494ee118bf868e.ago@gentoo`

1	commit: ad66bae0126f0d71066bbd4162494ee118bf868e
2	Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
3	AuthorDate: Tue Aug 16 07:46:10 2022 +0000
4	Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
5	CommitDate: Tue Aug 16 07:46:10 2022 +0000
6	URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ad66bae0
7
8	app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333
9
10	Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
11
12	app-emacs/proofgeneral/proofgeneral-4.5.ebuild \| 2 +-
13	1 file changed, 1 insertion(+), 1 deletion(-)
14
15	diff --git a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
16	index f662cbbface9..021c56340c58 100644
17	--- a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
18	+++ b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild
19	@@ -13,7 +13,7 @@ S="${WORKDIR}"/PG-${PV}
20
21	LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0"
22	SLOT="0"
23	-KEYWORDS="~amd64 ~ppc ~x86"
24	+KEYWORDS="amd64 ppc x86"
25
26	PATCHES=(
27	"${FILESDIR}"/${PN}-4.4-desktop.patch