onkelbeh
/
GentooRepository
mirror of https://github.com/gentoo-mirror/gentoo.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/z3: x86 stable wrt bug #805470 

Package-Manager: Portage-3.0.20, Repoman-3.0.2
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
This commit is contained in:
Agostino Sarubbo 2021-08-03 17:35:53 +02:00
parent e40c52f339
commit f687c22916
No known key found for this signature in database
GPG Key ID: EC7C8D80008F261A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/z3/z3-4.8.11b.ebuild
View File

@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv ~x86"
KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"