diff options
| author |   Yongxiang Liang <tanekliang@gmail.com> | 2022-04-17 15:39:48 +0000 |
|---|---|---|
| committer |   Jakov Smolić <jsmolic@gentoo.org> | 2022-04-18 23:05:21 +0200 |
| commit | a88a6e8b3b4b4cf7ace87a3239cf24ce41c7b260 (patch) | |
| tree | 9d74aee67997f6659e9bc80d361db7edeb4c75b3 /dev-ml/result | |
| parent | dev-ml/ppxlib: Keyword 0.24.0 riscv, #835392 (diff) | |
| download | gentoo-a88a6e8b3b4b4cf7ace87a3239cf24ce41c7b260.tar.gz gentoo-a88a6e8b3b4b4cf7ace87a3239cf24ce41c7b260.tar.bz2 gentoo-a88a6e8b3b4b4cf7ace87a3239cf24ce41c7b260.zip | |
dev-ml/result: Keyword 1.5 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@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 b38978376a2d..2acf2ed0de59 100644 --- a/dev-ml/result/result-1.5.ebuild +++ b/dev-ml/result/result-1.5.ebuild @@ -11,5 +11,5 @@ SRC_URI="https://github.com/janestreet/result/archive/${PV}.tar.gz -> ${P}.tar.g LICENSE="BSD" SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" |