diff options
| author |   Michael Weber <xmw@gentoo.org> | 2017-04-05 11:38:55 +0200 |
|---|---|---|
| committer | Michael Weber <xmw@gentoo.org> | 2017-04-05 11:51:28 +0200 |
| commit | f942aae35d3c180f188bf612e92ab86cefdef038 (patch) | |
| tree | a3cfefccc506f1eea785865d74b3b48ee9997876 /dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | |
| parent | net-libs/libiscsi: add ~arm (bug 570900). (diff) | |
| download | gentoo-f942aae35d3c180f188bf612e92ab86cefdef038.tar.gz gentoo-f942aae35d3c180f188bf612e92ab86cefdef038.tar.bz2 gentoo-f942aae35d3c180f188bf612e92ab86cefdef038.zip | |
dev-ml/ppx_tools: add ~ppc (bug 527318).
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="ppc"
Diffstat (limited to 'dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild')
| -rw-r--r-- | dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild index 3fa4afdf25fd..771b47be815e 100644 --- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild +++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2016 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -12,7 +12,7 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~ppc" IUSE="" DEPEND=">=dev-lang/ocaml-4.03.0:=" |