Gentoo Archives: gentoo-commits

From: Arthur Zamarin <arthurzam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
Date: Thu, 22 Sep 2022 17:03:06
Message-Id: 1663866169.489a63aeada2ce49d9f5fd406c82423680ed1185.arthurzam@gentoo
1 commit: 489a63aeada2ce49d9f5fd406c82423680ed1185
2 Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
3 AuthorDate: Thu Sep 22 17:02:49 2022 +0000
4 Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
5 CommitDate: Thu Sep 22 17:02:49 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=489a63ae
7
8 sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290
9
10 Signed-off-by: Arthur Zamarin <arthurzam <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 f578c7837da9..9733d67afd2e 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}"