Diff core_kernel-0.14.1-r3 with a core_kernel-0.14.2-r1

/usr/portage/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild 2023-10-09 14:52:29.784368358 +0300
1 1
# Copyright 1999-2022 Gentoo Authors
2 2
# Distributed under the terms of the GNU General Public License v2
3 3

  
4
EAPI=7
4
EAPI=8
5 5

  
6 6
inherit dune
7 7

  
......
11 11

  
12 12
LICENSE="LGPL-2.1-with-linking-exception"
13 13
SLOT="0/${PV}"
14
KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
14
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
15 15
IUSE="+ocamlopt"
16 16

  
17 17
# Wants quickcheck_deprecated for now
......
20 20
RDEPEND="
21 21
	dev-lang/ocaml:=
22 22
	<dev-ml/jst-config-0.15.0
23
	>=dev-ml/ppx_optcomp-0.14.3:=
23 24
	dev-ml/base:=
24 25
	=dev-ml/base_bigstring-0.14*:=
25 26
	dev-ml/base_quickcheck:=
......
34 35
	dev-ml/ppx_jane:=
35 36
	dev-ml/ppx_sexp_conv:=
36 37
	dev-ml/ppx_sexp_message:=
37
	dev-ml/splittable_random:=
38 38
	dev-ml/sexplib:=
39
	dev-ml/splittable_random:=
39 40
	dev-ml/stdio:=
40 41
	dev-ml/time_now:=
41 42
	dev-ml/typerep:=
Thank you!