From f8611fc1d75ce0de951e2fa2faadb765a107d1d5 Mon Sep 17 00:00:00 2001
From: Eli Schwartz <eschwartz@gentoo.org>
Date: Sun, 23 Aug 2026 03:13:50 -0400
Subject: [PATCH] sci-mathematics/z3: Stabilize 5.0.0 arm, #981165

Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
---
 sci-mathematics/z3/z3-5.0.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/z3/z3-5.0.0.ebuild b/sci-mathematics/z3/z3-5.0.0.ebuild
index 36096cc5d13a0..5c66004e1f1ae 100644
--- a/sci-mathematics/z3/z3-5.0.0.ebuild
+++ b/sci-mathematics/z3/z3-5.0.0.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}"