diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-01-31 02:09:38 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-01-31 02:14:23 +0100 |
commit | 5028e50118e710e7fdaf2dfe60949656066e1801 (patch) | |
tree | 7a57630fe65074bdadda1b26a7f4a2c98d7b4d2e /dev-ml | |
parent | sys-apps/inxi: Stabilize 3.3.08.1 amd64, #832401 (diff) | |
download | gentoo-5028e50118e710e7fdaf2dfe60949656066e1801.tar.gz gentoo-5028e50118e710e7fdaf2dfe60949656066e1801.tar.bz2 gentoo-5028e50118e710e7fdaf2dfe60949656066e1801.zip |
dev-ml/core_kernel: <dev-ml/jst-config-0.15.0; add ppx_optcom dep
Closes: https://bugs.gentoo.org/832378
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild (renamed from dev-ml/core_kernel/core_kernel-0.14.2.ebuild) | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild index 21ede2227bb8..903bac6397fd 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild @@ -1,7 +1,7 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 inherit dune @@ -19,13 +19,15 @@ RESTRICT="test" RDEPEND=" dev-lang/ocaml:= + <dev-ml/jst-config-0.15.0 + >=dev-ml/ppx_optcomp-0.14.3:= dev-ml/base:= dev-ml/base_bigstring:= dev-ml/base_quickcheck:= dev-ml/bin_prot:= dev-ml/fieldslib:= dev-ml/jane-street-headers:= - dev-ml/jst-config:= + dev-ml/ocaml-migrate-parsetree:= dev-ml/ppx_assert:= dev-ml/ppx_base:= dev-ml/ppx_hash:= @@ -33,12 +35,11 @@ RDEPEND=" dev-ml/ppx_jane:= dev-ml/ppx_sexp_conv:= dev-ml/ppx_sexp_message:= - dev-ml/splittable_random:= dev-ml/sexplib:= + dev-ml/splittable_random:= dev-ml/stdio:= dev-ml/time_now:= dev-ml/typerep:= dev-ml/variantslib:= - dev-ml/ocaml-migrate-parsetree:= " DEPEND="${RDEPEND}" |