Gentoo Archives: gentoo-commits

From: Agostino Sarubbo <ago@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
Date: Tue, 10 Sep 2019 07:10:41
Message-Id: 1568099372.934ebbb2d27cc2982f8e322b73fe5434fa9b2f60.ago@gentoo
1 commit: 934ebbb2d27cc2982f8e322b73fe5434fa9b2f60
2 Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
3 AuthorDate: Tue Sep 10 07:09:32 2019 +0000
4 Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
5 CommitDate: Tue Sep 10 07:09:32 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=934ebbb2
7
8 sci-mathematics/z3: x86 stable wrt bug #693856
9
10 Package-Manager: Portage-2.3.69, Repoman-2.3.16
11 RepoMan-Options: --include-arches="x86"
12 Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
13
14 sci-mathematics/z3/z3-4.8.5.ebuild | 2 +-
15 1 file changed, 1 insertion(+), 1 deletion(-)
16
17 diff --git a/sci-mathematics/z3/z3-4.8.5.ebuild b/sci-mathematics/z3/z3-4.8.5.ebuild
18 index 63b87888c58..a0687b597b8 100644
19 --- a/sci-mathematics/z3/z3-4.8.5.ebuild
20 +++ b/sci-mathematics/z3/z3-4.8.5.ebuild
21 @@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P^}.tar.gz"
22
23 SLOT="0/4.8"
24 LICENSE="MIT"
25 -KEYWORDS="amd64 ~arm ~arm64 ~ppc64 ~x86"
26 +KEYWORDS="amd64 ~arm ~arm64 ~ppc64 x86"
27 IUSE="doc examples gmp isabelle java openmp python"
28 REQUIRED_USE="${PYTHON_REQUIRED_USE}"