diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-08 15:59:10 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-08 15:59:10 +0000 |
| commit | ba7a238ca9c95cb73dc1040bfe42d78dd6970126 (patch) | |
| tree | 832e7f8a61ef6de3aa7c7b5c652e5b951d827194 /sci-mathematics/z3/z3-4.12.5.ebuild | |
| parent | 31a02d889028bf30f7b376b935aa05c2140d3c66 (diff) | |
gentoo auto-resync : 08:02:2024 - 15:59:10
Diffstat (limited to 'sci-mathematics/z3/z3-4.12.5.ebuild')
| -rw-r--r-- | sci-mathematics/z3/z3-4.12.5.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild b/sci-mathematics/z3/z3-4.12.5.ebuild index 951e88b0875b..7d5d395833c0 100644 --- a/sci-mathematics/z3/z3-4.12.5.ebuild +++ b/sci-mathematics/z3/z3-4.12.5.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}" |