From 8a891d3d6e36ebd233231a0b11e764dcb13d2dce Mon Sep 17 00:00:00 2001
From: Arthur Zamarin <arthurzam@gentoo.org>
Date: Fri, 4 Jul 2025 18:39:57 +0300
Subject: [PATCH] sci-mathematics/z3: Stabilize 4.15.1 arm64, #959167

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
---
 sci-mathematics/z3/z3-4.15.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/z3/z3-4.15.1.ebuild b/sci-mathematics/z3/z3-4.15.1.ebuild
index ffa44270faf9e..7fa8604f23ccd 100644
--- a/sci-mathematics/z3/z3-4.15.1.ebuild
+++ b/sci-mathematics/z3/z3-4.15.1.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc x86"
+KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc x86"
 IUSE="doc examples gmp isabelle java python"
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"