summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-01-31 02:09:38 +0100
committerMaciej Barć <xgqt@gentoo.org>2022-01-31 02:14:23 +0100
commit5028e50118e710e7fdaf2dfe60949656066e1801 (patch)
tree7a57630fe65074bdadda1b26a7f4a2c98d7b4d2e /dev-ml/core_kernel
parentsys-apps/inxi: Stabilize 3.3.08.1 amd64, #832401 (diff)
downloadgentoo-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/core_kernel')
-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}"