Skip to content

Commit

Permalink
sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862
Browse files Browse the repository at this point in the history
Package-Manager: Portage-2.3.60, Repoman-2.3.12
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich <[email protected]>
  • Loading branch information
Sergei Trofimovich committed Feb 17, 2019
1 parent d252034 commit c2c298b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sci-mathematics/z3/z3-4.8.4.ebuild
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"

SLOT="0/4.8"
LICENSE="MIT"
KEYWORDS="~amd64 ~x86"
KEYWORDS="~amd64 ~ppc64 ~x86"
IUSE="doc examples gmp isabelle java openmp python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"

Expand Down

0 comments on commit c2c298b

Please sign in to comment.