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: Tue, 26 Apr 2022 14:01:37
Message-Id: 1650981669.d9f4032e5fd728dadf1b961b76374e0955fdc471.arthurzam@gentoo
1 commit: d9f4032e5fd728dadf1b961b76374e0955fdc471
2 Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
3 AuthorDate: Tue Apr 26 14:01:09 2022 +0000
4 Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
5 CommitDate: Tue Apr 26 14:01:09 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9f4032e
7
8 sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665
9
10 Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
11
12 sci-mathematics/z3/z3-4.8.15-r1.ebuild | 2 +-
13 1 file changed, 1 insertion(+), 1 deletion(-)
14
15 diff --git a/sci-mathematics/z3/z3-4.8.15-r1.ebuild b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
16 index 2ff6dfc6935f..31cec588863f 100644
17 --- a/sci-mathematics/z3/z3-4.8.15-r1.ebuild
18 +++ b/sci-mathematics/z3/z3-4.8.15-r1.ebuild
19 @@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
20
21 SLOT="0/4.8"
22 LICENSE="MIT"
23 -KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
24 +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
25 IUSE="doc examples gmp isabelle java python"
26 REQUIRED_USE="${PYTHON_REQUIRED_USE}"