Gentoo Archives: gentoo-commits

From: Sam James <sam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
Date: Wed, 27 Jan 2021 07:22:05
Message-Id: 1611732118.4b75ad0bf022b9fc41120c000911ea3fac6cba02.sam@gentoo
1 commit: 4b75ad0bf022b9fc41120c000911ea3fac6cba02
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Wed Jan 27 07:21:25 2021 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Wed Jan 27 07:21:58 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b75ad0b
7
8 dev-ml/core_kernel: fix dependencies
9
10 * Drop dev-ml/ppx_driver
11 * Add dev-ml/base_quickcheck
12 * Add dev-ml/splittable_random
13 * Add dev-ml/time_now
14
15 Package-Manager: Portage-3.0.14, Repoman-3.0.2
16 Signed-off-by: Sam James <sam <AT> gentoo.org>
17
18 .../{core_kernel-0.14.1-r2.ebuild => core_kernel-0.14.1-r3.ebuild} | 4 +++-
19 1 file changed, 3 insertions(+), 1 deletion(-)
20
21 diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
22 similarity index 92%
23 rename from dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
24 rename to dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
25 index d68fb6015e7..efdaab67e7b 100644
26 --- a/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
27 +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
28 @@ -18,20 +18,22 @@ RDEPEND="
29 dev-lang/ocaml:=
30 dev-ml/base:=
31 dev-ml/base_bigstring:=
32 + dev-ml/base_quickcheck:=
33 dev-ml/bin_prot:=
34 dev-ml/fieldslib:=
35 dev-ml/jane-street-headers:=
36 dev-ml/jst-config:=
37 dev-ml/ppx_assert:=
38 dev-ml/ppx_base:=
39 - dev-ml/ppx_driver:=
40 dev-ml/ppx_hash:=
41 dev-ml/ppx_inline_test:=
42 dev-ml/ppx_jane:=
43 dev-ml/ppx_sexp_conv:=
44 dev-ml/ppx_sexp_message:=
45 + dev-ml/splittable_random:=
46 dev-ml/sexplib:=
47 dev-ml/stdio:=
48 + dev-ml/time_now:=
49 dev-ml/typerep:=
50 dev-ml/variantslib:=
51 dev-ml/ocaml-migrate-parsetree:=