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 02:08:44
Message-Id: 1611713287.9b0879ab502bda3124290b211275459be07572cd.sam@gentoo
1 commit: 9b0879ab502bda3124290b211275459be07572cd
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Wed Jan 27 02:08:07 2021 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Wed Jan 27 02:08:07 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b0879ab
7
8 dev-ml/core_kernel: fix dev-ml/bin-prot dep
9
10 Bug: https://bugs.gentoo.org/767382
11 Package-Manager: Portage-3.0.14, Repoman-3.0.2
12 Signed-off-by: Sam James <sam <AT> gentoo.org>
13
14 .../{core_kernel-0.14.1-r1.ebuild => core_kernel-0.14.1-r2.ebuild} | 2 +-
15 1 file changed, 1 insertion(+), 1 deletion(-)
16
17 diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
18 similarity index 97%
19 rename from dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
20 rename to dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
21 index 6d7de371e0b..d68fb6015e7 100644
22 --- a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
23 +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
24 @@ -18,7 +18,7 @@ RDEPEND="
25 dev-lang/ocaml:=
26 dev-ml/base:=
27 dev-ml/base_bigstring:=
28 - dev-ml/bin-prot:=
29 + dev-ml/bin_prot:=
30 dev-ml/fieldslib:=
31 dev-ml/jane-street-headers:=
32 dev-ml/jst-config:=