summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYixun Lan <dlan@gentoo.org>2023-02-10 16:22:52 +0800
committerYixun Lan <dlan@gentoo.org>2023-02-10 16:22:52 +0800
commit642a754739c3ae0cd221c63f5ef148c15750a615 (patch)
treed1fe3281cd1ce6db574ac21a9580bd39fceae16e /dev-ml/base_bigstring
parentdev-ml/int_repr: Keyword 0.15.0 riscv, #892131 (diff)
downloadgentoo-642a754739c3ae0cd221c63f5ef148c15750a615.tar.gz
gentoo-642a754739c3ae0cd221c63f5ef148c15750a615.tar.bz2
gentoo-642a754739c3ae0cd221c63f5ef148c15750a615.zip
dev-ml/base_bigstring: Keyword 0.15.0-r1 riscv, #892131
Signed-off-by: Yixun Lan <dlan@gentoo.org>
Diffstat (limited to 'dev-ml/base_bigstring')
-rw-r--r--dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild b/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild
index b36256d3f4b4..56007b21d531 100644
--- a/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild
+++ b/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
IUSE="+ocamlopt"
DEPEND="