Gentoo Archives: gentoo-commits

From: "Jakov Smolić" <jsmolic@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
Date: Thu, 22 Sep 2022 08:04:33
Message-Id: 1663833848.1ca6800fb66945e9ac620947eb65c112ba693daa.jsmolic@gentoo
1 commit: 1ca6800fb66945e9ac620947eb65c112ba693daa
2 Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
3 AuthorDate: Thu Sep 22 08:04:08 2022 +0000
4 Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
5 CommitDate: Thu Sep 22 08:04:08 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ca6800f
7
8 sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290
9
10 Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
11
12 sci-mathematics/z3/z3-4.11.2.ebuild | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild b/sci-mathematics/z3/z3-4.11.2.ebuild
16 index 4c7fa51d483e..11ce984b9ecc 100644
17 --- a/sci-mathematics/z3/z3-4.11.2.ebuild
18 +++ b/sci-mathematics/z3/z3-4.11.2.ebuild
19 @@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
20
21 SLOT="0/$(ver_cut 1-2)"
22 LICENSE="MIT"
23 -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
24 +KEYWORDS="~amd64 ~arm arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86"
25 IUSE="doc examples gmp isabelle java python"
26 REQUIRED_USE="${PYTHON_REQUIRED_USE}"