diff options
| author |   Sam James <sam@gentoo.org> | 2020-10-24 00:15:53 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2020-10-24 00:15:53 +0000 |
| commit | 92614b244a7b3ba30867590e6d493d5afce00c01 (patch) | |
| tree | 41c02b1a974092af3d073a3649ea08b1594c78c2 /dev-ml/result | |
| parent | dev-ml/ppx_tools: Keyword 6.2 ppc, #748576 (diff) | |
| download | gentoo-92614b244a7b3ba30867590e6d493d5afce00c01.tar.gz gentoo-92614b244a7b3ba30867590e6d493d5afce00c01.tar.bz2 gentoo-92614b244a7b3ba30867590e6d493d5afce00c01.zip | |
dev-ml/result: Keyword 1.5 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/result')
| -rw-r--r-- | dev-ml/result/result-1.5.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/result/result-1.5.ebuild b/dev-ml/result/result-1.5.ebuild index eb1d6d56a383..9b1a45e6e1fa 100644 --- a/dev-ml/result/result-1.5.ebuild +++ b/dev-ml/result/result-1.5.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/result/archive/${PV}.tar.gz -> ${P}.tar.g LICENSE="BSD" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" IUSE="+ocamlopt" RDEPEND="" |