diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2018-02-14 15:25:00 +0100 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2018-02-14 15:25:00 +0100 |
commit | 6426a70f3c013292abca95aed64dc4bafecc5147 (patch) | |
tree | a707a834ac1466297ec4a44d1ba032921eddca67 | |
parent | dev-ml/ppx_enumerate: x86 keyworded (bug #627836) (diff) | |
download | gentoo-6426a70f3c013292abca95aed64dc4bafecc5147.tar.gz gentoo-6426a70f3c013292abca95aed64dc4bafecc5147.tar.bz2 gentoo-6426a70f3c013292abca95aed64dc4bafecc5147.zip |
dev-ml/ppx_optcomp: x86 keyworded (bug #627836)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
-rw-r--r-- | dev-ml/ppx_optcomp/ppx_optcomp-0.9.0-r3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/ppx_optcomp/ppx_optcomp-0.9.0-r3.ebuild b/dev-ml/ppx_optcomp/ppx_optcomp-0.9.0-r3.ebuild index 44140740f37b..698b92bbb14c 100644 --- a/dev-ml/ppx_optcomp/ppx_optcomp-0.9.0-r3.ebuild +++ b/dev-ml/ppx_optcomp/ppx_optcomp-0.9.0-r3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/ppx_optcomp/archive/v${PV}.tar.gz -> ${P} LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc" +KEYWORDS="~amd64 ~ppc ~x86" IUSE="" DEPEND=" |