diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-26 23:48:21 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-26 23:48:21 +0000 |
| commit | 7293cc8b208d7e887e656cecef76064fd0fe75c4 (patch) | |
| tree | d03ee821875dae4fbd4bb6a7c54b3214a12909a5 /sci-mathematics/z3 | |
| parent | sys-apps/pmount: stable 0.9.99_alpha-r6 for ppc64 (diff) | |
| download | gentoo-7293cc8b208d7e887e656cecef76064fd0fe75c4.tar.gz gentoo-7293cc8b208d7e887e656cecef76064fd0fe75c4.tar.bz2 gentoo-7293cc8b208d7e887e656cecef76064fd0fe75c4.zip | |
sci-mathematics/z3: stable 4.8.9 for ppc64
stable wrt bug #751145
Package-Manager: Portage-3.0.8, Repoman-3.0.2
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.9.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.8.9.ebuild b/sci-mathematics/z3/z3-4.8.9.ebuild index 5e000b08f0bd..fc6fa7797acb 100644 --- a/sci-mathematics/z3/z3-4.8.9.ebuild +++ b/sci-mathematics/z3/z3-4.8.9.ebuild @@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P} SLOT="0/4.8" LICENSE="MIT" -KEYWORDS="~amd64 arm arm64 ~ppc64 x86" +KEYWORDS="~amd64 arm arm64 ppc64 x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |