From 2bd1f0c8ebcec1ececd904b91a7fcfb0dda9ed92 Mon Sep 17 00:00:00 2001
From: Arthur Zamarin <arthurzam@gentoo.org>
Date: Sat, 16 Mar 2024 13:48:51 +0200
Subject: [PATCH] sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109

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

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