gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-07 05:57:07 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030

Browse Source 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
This commit is contained in:
Arthur Zamarin
2023-12-02 11:30:55 +00:00
parent fbe9bac13e
commit 3df8ac512a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sci-mathematics/z3/z3-4.12.2.ebuild
+1 -1
View File
@@ -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}"