From 0a01120cbca04b48ee8e276775bca1d68184ad51 Mon Sep 17 00:00:00 2001
From: Sam James <sam@gentoo.org>
Date: Fri, 26 May 2023 08:14:40 +0100
Subject: [PATCH] sci-mathematics/lean: Stabilize 3.50.3 amd64, #907180

Signed-off-by: Sam James <sam@gentoo.org>
---
 sci-mathematics/lean/lean-3.50.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/lean/lean-3.50.3.ebuild b/sci-mathematics/lean/lean-3.50.3.ebuild
index 72a23985077c0..6c8c7551d8ef8 100644
--- a/sci-mathematics/lean/lean-3.50.3.ebuild
+++ b/sci-mathematics/lean/lean-3.50.3.ebuild
@@ -16,7 +16,7 @@ if [[ ${PV} == *9999* ]] ; then
 	EGIT_REPO_URI="https://github.com/leanprover-community/lean.git"
 else
 	SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
-	KEYWORDS="~amd64 ~x86"
+	KEYWORDS="amd64 ~x86"
 fi
 S="${S}/src"