From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1395041-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id 5B7D8158090
for <garchives@archives.gentoo.org>; Wed, 11 May 2022 09:33:24 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 6557CE07C5;
Wed, 11 May 2022 09:33:23 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits))
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id 45C52E07C5
for <gentoo-commits@lists.gentoo.org>; Wed, 11 May 2022 09:33:23 +0000 (UTC)
Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 3C55134193E
for <gentoo-commits@lists.gentoo.org>; Wed, 11 May 2022 09:33:22 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 91169463
for <gentoo-commits@lists.gentoo.org>; Wed, 11 May 2022 09:33:20 +0000 (UTC)
From: "Jakov Smolić" <jsmolic@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Jakov Smolić" <jsmolic@gentoo.org>
Message-ID: <1652261585.c09aa21e5553b94fa60b01c3659e09c414647bf6.jsmolic@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: app-emacs/proofgeneral/
X-VCS-Repository: repo/gentoo
X-VCS-Files: app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild
X-VCS-Directories: app-emacs/proofgeneral/
X-VCS-Committer: jsmolic
X-VCS-Committer-Name: Jakov Smolić
X-VCS-Revision: c09aa21e5553b94fa60b01c3659e09c414647bf6
X-VCS-Branch: master
Date: Wed, 11 May 2022 09:33:20 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: c23316c5-fbb7-4d6e-aa38-e09e755240d7
X-Archives-Hash: 263fd38b7946a855240d6b8b788e61e4
commit: c09aa21e5553b94fa60b01c3659e09c414647bf6
Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
AuthorDate: Wed May 11 09:33:05 2022 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Wed May 11 09:33:05 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c09aa21e
app-emacs/proofgeneral: Stabilize 4.5_pre20220228 ALLARCHES, #843635
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild b/app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild
index a554b006724d..d5a97d174292 100644
--- a/app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-4.5_pre20220228.ebuild
@@ -14,7 +14,7 @@ S="${WORKDIR}/PG-${H}"
LICENSE="GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="amd64 ppc x86"
PATCHES=(
"${FILESDIR}"/${PN}-4.4-desktop.patch