Skip to content

Commit

Permalink
sci-mathematics/z3: Stabilize 4.12.6 x86, #927109
Browse files Browse the repository at this point in the history
Signed-off-by: Arthur Zamarin <[email protected]>
  • Loading branch information
arthurzam committed Mar 16, 2024
1 parent f57c54e commit 1dbd73f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sci-mathematics/z3/z3-4.12.6.ebuild
Original file line number Diff line number Diff line change
Expand Up @@ -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}"

Expand Down

0 comments on commit 1dbd73f

Please sign in to comment.