diff options
| author |   Yongxiang Liang <tanekliang@gmail.com> | 2022-04-17 15:40:28 +0000 |
|---|---|---|
| committer |   Jakov Smolić <jsmolic@gentoo.org> | 2022-04-18 23:06:00 +0200 |
| commit | cc76fb2f687e333e9121388d15cb5ac9b4813490 (patch) | |
| tree | 609b019fcbd1a20e9bfb3aa6271a85f208baf8a0 /dev-ml/core_kernel | |
| parent | dev-ml/sexplib: Keyword 0.14.0 riscv, #835392 (diff) | |
| download | gentoo-cc76fb2f687e333e9121388d15cb5ac9b4813490.tar.gz gentoo-cc76fb2f687e333e9121388d15cb5ac9b4813490.tar.bz2 gentoo-cc76fb2f687e333e9121388d15cb5ac9b4813490.zip | |
dev-ml/core_kernel: Keyword 0.14.2-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild index 903bac6397fd..07c3dc02331e 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now |