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:= |