From 1062e1b946790c1245a5c9ea2abdc4a609a13aba Mon Sep 17 00:00:00 2001 From: Arthur Zamarin Date: Wed, 19 Feb 2025 09:32:19 +0200 Subject: [PATCH] sci-mathematics/lean: Stabilize 4.14.0-r1 amd64, #949943 Signed-off-by: Arthur Zamarin --- sci-mathematics/lean/lean-4.14.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/lean/lean-4.14.0-r1.ebuild b/sci-mathematics/lean/lean-4.14.0-r1.ebuild index 153bf8d286fb8..bbb7806293196 100644 --- a/sci-mathematics/lean/lean-4.14.0-r1.ebuild +++ b/sci-mathematics/lean/lean-4.14.0-r1.ebuild @@ -23,7 +23,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi LICENSE="Apache-2.0"