gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 06:37:10 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/z3: arm stable wrt bug #693856

Browse Source 
Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="arm"
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
This commit is contained in:
Mikle Kolyada
2019-09-13 18:46:01 +03:00
parent bccc42b4a1
commit f3ce077e0a
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.8.5.ebuild
+1 -1
View File
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P^}.tar.gz"
SLOT="0/4.8"
LICENSE="MIT"
KEYWORDS="amd64 ~arm ~arm64 ppc64 x86"
KEYWORDS="amd64 arm ~arm64 ppc64 x86"
IUSE="doc examples gmp isabelle java openmp python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"