summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYongxiang Liang <tanekliang@gmail.com>2022-04-17 15:40:12 +0000
committerJakov Smolić <jsmolic@gentoo.org>2022-04-18 23:05:45 +0200
commit06a89deb51dfa5aef3bc8e4b645b6973fdba540e (patch)
tree5f6fb400ad86e2590755c45b20753b813971e65f
parentdev-ml/splittable_random: Keyword 0.14.0 riscv, #835392 (diff)
downloadgentoo-06a89deb51dfa5aef3bc8e4b645b6973fdba540e.tar.gz
gentoo-06a89deb51dfa5aef3bc8e4b645b6973fdba540e.tar.bz2
gentoo-06a89deb51dfa5aef3bc8e4b645b6973fdba540e.zip
dev-ml/base_quickcheck: Keyword 0.14.1-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
-rw-r--r--dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
index 7b0d4c531b9f..e7de61345336 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="