Adding metadata

30 files changed, 301 insertions, 16 deletions

diff --git a/dev-ml/base_bigstring/base_bigstring-0.15.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild
index 613685115a2e..b36256d3f4b4 100644
--- a/dev-ml/base_bigstring/base_bigstring-0.15.0.ebuild
+++ b/dev-ml/base_bigstring/base_bigstring-0.15.0-r1.ebuild
@@ -14,5 +14,8 @@ SLOT="0/$(ver_cut 1-2)"
 KEYWORDS="~amd64"
 IUSE="+ocamlopt"
 
-DEPEND="dev-ml/int_repr:${SLOT}"
+DEPEND="
+	dev-ml/base:=
+	dev-ml/int_repr:${SLOT}
+"
 RDEPEND="${DEPEND}"
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
index 916057e1d07d..6cae9208977e 100644
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -15,6 +15,8 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 DEPEND="
+	dev-ml/base:=
+	dev-ml/fieldslib:=
 	dev-ml/ppx_base:${SLOT}
 	dev-ml/ppx_fields_conv:${SLOT}
 	dev-ml/ppx_let:${SLOT}
diff --git a/dev-ml/bin_prot/bin_prot-0.15.0-r1.ebuild b/dev-ml/bin_prot/bin_prot-0.15.0-r2.ebuild
index 12137c5c8cf7..5a97870190f2 100644
--- a/dev-ml/bin_prot/bin_prot-0.15.0-r1.ebuild
+++ b/dev-ml/bin_prot/bin_prot-0.15.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -23,5 +23,6 @@ RDEPEND="
 	>=dev-ml/ppx_optcomp-0.14.0:=
 	>=dev-ml/ppx_sexp_conv-0.14.0:=
 	>=dev-ml/ppx_variants_conv-0.14.0:=
+	dev-ml/variantslib:=
 "
 DEPEND="${RDEPEND}"
diff --git a/dev-ml/core/core-0.15.1.ebuild b/dev-ml/core/core-0.15.1-r1.ebuild
index 0aecee5161f4..cb9cceda4135 100644
--- a/dev-ml/core/core-0.15.1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -19,10 +19,28 @@ RESTRICT="test"
 
 RDEPEND="
 	>=dev-lang/ocaml-4.11
+	>=dev-ml/base-0.15.1:${SLOT}
 	dev-ml/base_bigstring:${SLOT}
+	dev-ml/base_quickcheck:=
+	dev-ml/bin_prot:=
+	dev-ml/ppxlib:=
+	dev-ml/ppx_bin_prot:=
+	dev-ml/ppx_bench:=
+	dev-ml/ppx_custom_printf:=
+	dev-ml/ppx_disable_unused_warnings:=
+	dev-ml/ppx_fields_conv:=
+	dev-ml/ppx_fixed_literal:=
+	dev-ml/ppx_let:=
+	dev-ml/ppx_log:=
 	dev-ml/ppx_jane:${SLOT}
+	dev-ml/ppx_module_timer:=
+	dev-ml/ppx_optional:=
 	dev-ml/ppx_pipebang:=
-	dev-ml/ppxlib:=
-	>=dev-ml/base-0.15.1:${SLOT}
+	dev-ml/ppx_sexp_message:=
+	dev-ml/ppx_sexp_value:=
+	dev-ml/ppx_stable:=
+	dev-ml/ppx_string:=
+	dev-ml/ppx_ignore_instrumentation:=
+	dev-ml/typerep:=
 "
 DEPEND="${RDEPEND}"
diff --git a/dev-ml/core_unix/core_unix-0.15.2.ebuild b/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild
index 2114a6c14a77..d15597a32049 100644
--- a/dev-ml/core_unix/core_unix-0.15.2.ebuild
+++ b/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild
@@ -16,11 +16,12 @@ IUSE="+ocamlopt"
 
 DEPEND="
 	>=dev-lang/ocaml-4.09
+	dev-ml/core:=
 	dev-ml/core_kernel:${SLOT}
 	dev-ml/expect_test_helpers_core:${SLOT}
 	dev-ml/ocaml_intrinsics:${SLOT}
-	dev-ml/timezone:${SLOT}
 	dev-ml/spawn:${SLOT}
+	dev-ml/timezone:${SLOT}
 "
 RDEPEND="${DEPEND}"
 BDEPEND=""
diff --git a/dev-ml/jst-config/jst-config-0.15.1.ebuild b/dev-ml/jst-config/jst-config-0.15.1-r1.ebuild
index dea4bf6130f6..fbed6aa260c8 100644
--- a/dev-ml/jst-config/jst-config-0.15.1.ebuild
+++ b/dev-ml/jst-config/jst-config-0.15.1-r1.ebuild
@@ -16,8 +16,12 @@ IUSE="+ocamlopt"
 
 DEPEND="
 	dev-ml/base:=
+	dev-ml/dune-configurator:=
+	dev-ml/ppxlib:=
 	dev-ml/ppx_assert:=
+	dev-ml/ppx_compare:=
+	dev-ml/ppx_here:=
+	dev-ml/ppx_sexp_conv:=
 	dev-ml/stdio:=
-	dev-ml/dune-configurator:=
 "
 RDEPEND="${DEPEND}"
diff --git a/dev-ml/ppx_assert/ppx_assert-0.15.0.ebuild b/dev-ml/ppx_assert/ppx_assert-0.15.0-r1.ebuild
index 08b4af2998a2..8a8d95c396a7 100644
--- a/dev-ml/ppx_assert/ppx_assert-0.15.0.ebuild
+++ b/dev-ml/ppx_assert/ppx_assert-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -15,6 +15,7 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 DEPEND="
+	dev-ml/ppxlib:=
 	dev-ml/ppx_cold:${SLOT}
 	dev-ml/ppx_compare:${SLOT}
 	dev-ml/ppx_here:${SLOT}
diff --git a/dev-ml/ppx_expect/Manifest b/dev-ml/ppx_expect/Manifest
index fc31177f6ffc..656213e07a9d 100644
--- a/dev-ml/ppx_expect/Manifest
+++ b/dev-ml/ppx_expect/Manifest
@@ -2,3 +2,4 @@ DIST ppx_expect-0.14.0.tar.gz 45661 BLAKE2B 0cba3840743d45f0f11936f090319aab3237
 DIST ppx_expect-0.14.1.tar.gz 45699 BLAKE2B b52d579d92156344ff44d30c88603840eb7d6a0d346de49fcbc01ef16fe3c33e664486de4cb2d09f74e853e39b9a01778e7e0f489497fdd34fc9582d895a0d3b SHA512 fd98e79d5b3bb935b2a4077a07894c159b48e142268c2e30ebff2cbfecc92266b454be69f5080b315eefa9184372e5e5248bd8a3b2b9d6cad59e2d517c94bd02
 DIST ppx_expect-0.14.2.tar.gz 45703 BLAKE2B cd1371f6e7e0519c1b30c6d471a1f4be6cbeffa0bf65de1472c9809265c35c307cd36ebb12548f60ab2acb6e9786556f29ae4752ee5cfbfa19fdc2dc14f16aa6 SHA512 bb00e15057ea403241781d2d6a385200496adc79680a01d031416192f8c93efd75a6998602a90d0aba7fcb2110e876b058126bb6397d5ba7fe5dd48c03202169
 DIST ppx_expect-0.15.0.tar.gz 48825 BLAKE2B 9363497cc5a507d4f9c51be11a3fef254cbd2541c146a1248755763bed6f54a69738ed72ac590e270856b9c04a5949c9bbd59ba25bc8e7d1fc9d76574bcc70c3 SHA512 945ebd31a94debd4a65c3a8dd7e6481e7debe043c48a60bab4085f9d05cba5b8663bf0f5498cb4cd0e86a24182b21006506f20873e5242b31db5de5629113ade
+DIST ppx_expect-0.15.1.tar.gz 48800 BLAKE2B de36b8eafb1393c6489f60d91a4eb0da15e0108db7b56536011cb4e0e7fd2168ab97d76256920d40bcf39283435b19b69afe17204a3ecca615ced9c3482e974a SHA512 483c320dcfa628a1140d727e63fe4c5e2b298d9c58ab9975f8b3b5fcfbb3348f04a901d8b4a8d8288b14959fddbf2578a8b48de7352e4ce90439e26a27026780
diff --git a/dev-ml/ppx_expect/ppx_expect-0.15.1-r1.ebuild b/dev-ml/ppx_expect/ppx_expect-0.15.1-r1.ebuild
new file mode 100644
index 000000000000..bb0f3e768249
--- /dev/null
+++ b/dev-ml/ppx_expect/ppx_expect-0.15.1-r1.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Cram like framework for OCaml"
+HOMEPAGE="https://github.com/janestreet/ppx_expect"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+# https://bugs.gentoo.org/749291#c2
+RESTRICT="test"
+
+RDEPEND="
+	dev-ml/ppxlib:=
+	dev-ml/ppx_inline_test:${SLOT}
+	dev-ml/re:=
+"
+DEPEND="${RDEPEND}"
diff --git a/dev-ml/ppx_import/Manifest b/dev-ml/ppx_import/Manifest
index b0784564811f..a494c3c3778e 100644
--- a/dev-ml/ppx_import/Manifest
+++ b/dev-ml/ppx_import/Manifest
@@ -1 +1,2 @@
+DIST ppx_import-1.10.0.tar.gz 13927 BLAKE2B d036b730dd9c7b5be9fcbf175103ec6f1e2a14111575135a9cfaf935b936165418b34a4b0a37e0d112b7fbc1315526ce21a9db5bebbd99e1898c4a3c245dcf94 SHA512 7d4aeab6512014b5a16fdcc4d26ac29cc22223e18c7ab26e26f9fdd5bcd625c22aa9ff2e6c2106f45408316eaaf755437979961d97139da5973026038c210935
 DIST ppx_import-1.9.1.tar.gz 13820 BLAKE2B 295796041ecad89c95bd6a6fe14a9d9bb969f7d984388cca5181c31b8358affeb92a4d200bb9e11449a0216995a8477b809acf251b049e8331eea9e6bb918cb7 SHA512 37bd54bc477b91a3aa4b2433a9817c6d939f1e4a1d950b83b05964d22540296582cec6513a0959fd036f738dbd6ef9df13430183b8bdaa9425c7640a5fddf4b3
diff --git a/dev-ml/ppx_import/ppx_import-1.9.1.ebuild b/dev-ml/ppx_import/ppx_import-1.10.0.ebuild
index 715ab4e1fd80..7e7bd09535f8 100644
--- a/dev-ml/ppx_import/ppx_import-1.9.1.ebuild
+++ b/dev-ml/ppx_import/ppx_import-1.10.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -16,7 +16,7 @@ KEYWORDS="~amd64 ~x86"
 IUSE="+ocamlopt test"
 RESTRICT="!test? ( test )"
 
-RDEPEND=">=dev-ml/ppxlib-0.24:="
+RDEPEND=">=dev-ml/ppxlib-0.26:="
 DEPEND="${RDEPEND}"
 BDEPEND="
 	test? (
diff --git a/dev-ml/ppx_import/ppx_import-1.9.1-r1.ebuild b/dev-ml/ppx_import/ppx_import-1.9.1-r1.ebuild
new file mode 100644
index 000000000000..c548ecf42c83
--- /dev/null
+++ b/dev-ml/ppx_import/ppx_import-1.9.1-r1.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="A syntax extension for importing declarations from interface files"
+HOMEPAGE="https://github.com/ocaml-ppx/ppx_import/"
+SRC_URI="https://github.com/ocaml-ppx/${PN}/archive/${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	>=dev-ml/ppxlib-0.24:=
+	<dev-ml/ppxlib-0.26
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	test? (
+		dev-ml/ounit2
+		dev-ml/ppx_deriving
+		dev-ml/ppx_sexp_conv
+	)
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-dune-ounit2.patch )
diff --git a/dev-ml/ppx_inline_test/ppx_inline_test-0.15.0-r1.ebuild b/dev-ml/ppx_inline_test/ppx_inline_test-0.15.0-r2.ebuild
index 4e2d2816dc0f..7cbf8c3be2ab 100644
--- a/dev-ml/ppx_inline_test/ppx_inline_test-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_inline_test/ppx_inline_test-0.15.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -14,7 +14,10 @@ SLOT="0/$(ver_cut 1-2)"
 KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
-DEPEND="dev-ml/time_now:${SLOT}"
+DEPEND="
+	dev-ml/base:=
+	dev-ml/time_now:${SLOT}
+"
 RDEPEND="${DEPEND}"
 # https://bugs.gentoo.org/749291#c2
 RESTRICT=test
diff --git a/dev-ml/ppx_sexp_conv/Manifest b/dev-ml/ppx_sexp_conv/Manifest
index 2224c3b2006a..005492e50ba4 100644
--- a/dev-ml/ppx_sexp_conv/Manifest
+++ b/dev-ml/ppx_sexp_conv/Manifest
@@ -2,3 +2,4 @@ DIST ppx_sexp_conv-0.14.1.tar.gz 49857 BLAKE2B ede55963d995917bd0c4a1464b58f8584
 DIST ppx_sexp_conv-0.14.2.tar.gz 49876 BLAKE2B 32109eb6300894156f91721a1c74e94803106cf8a9a9326bf815d3094e166ce34b19f3d28b770d381ca3ce32227a80b15baa61e6f9c2d0082c47b87678c0f239 SHA512 d0121770030da142fd559b5f8d52d4a029d032c5ac9c79bf235190e0aaff58e5cce0a5ca5f198ca8a112e0970ca27ab18d4f201376ca6b799b91d71deb915f25
 DIST ppx_sexp_conv-0.14.3.tar.gz 49886 BLAKE2B 9fda18267995cdd8efb9dafb069df6a51106a800b263f4c94129957a3f23d2bee72f39382623a320cb09ea13c255000ecf9670c19ccf49d55627c02bb0912224 SHA512 7de81d64e7eeb4d6097134606411830dd066f94222ed320a9c32752116961806ccf807f802e07c522c32aa6f7c20bb901804612a0ffc1b14807903c92acb2f44
 DIST ppx_sexp_conv-0.15.0.tar.gz 67450 BLAKE2B 06ea07b90237a288922cfc5a9f6ab2730b7ebc208998c8472635af0fee50e5e2acd5972bcbffe20023fa423db4d788cfae3472d10569c47e444f18ce98599a21 SHA512 da526b5a783c5b2e6cb5d3fc39d69b2eb29807ba77d58ade82abb9267137e8536ec7b841f6ec51b9eb00008a26f71137e78f65df2023b1a47ea586f8d94ce66d
+DIST ppx_sexp_conv-0.15.1.tar.gz 67448 BLAKE2B 4994b609edd19bc70755c418ff7ed0972199ad6b3dde834ad32400c613113a3b3622dca160a4e49ed5abd6fcb9ced3f7580ffc1bcb055ca1d71a945ae56ea203 SHA512 f2b669e7c7bbbc8dd4978b47b73662dd0195ae85cdd71596485211cb5ab4daedcae9be4b33796674320e0d324b7ee9f90d3b219212be98ed792e3a89ccf8c41b
diff --git a/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.0-r1.ebuild b/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.0-r2.ebuild
index 4c2c44069a24..a31de8e54ea4 100644
--- a/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -19,6 +19,7 @@ DEPEND="
 	dev-ml/base:${SLOT}
 	dev-ml/findlib:=
 	>=dev-ml/ppxlib-0.23:=
+	<dev-ml/ppxlib-0.26
 	>=dev-ml/ocaml-compiler-libs-0.11.0:=
 "
 RDEPEND="${DEPEND}"
diff --git a/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.1.ebuild b/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.1.ebuild
new file mode 100644
index 000000000000..36d60228d3ac
--- /dev/null
+++ b/dev-ml/ppx_sexp_conv/ppx_sexp_conv-0.15.1.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Support Library for type-driven code generators"
+HOMEPAGE="https://github.com/janestreet/ppx_sexp_conv"
+SRC_URI="https://github.com/janestreet/ppx_sexp_conv/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+# Upper bound on ppxlib for bug #769536
+DEPEND="
+	dev-ml/base:${SLOT}
+	dev-ml/findlib:=
+	>=dev-ml/ppxlib-0.26:=
+	>=dev-ml/ocaml-compiler-libs-0.11.0:=
+"
+RDEPEND="${DEPEND}"
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index f2ed5e6ef0a7..6c483ebb381e 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -2,3 +2,4 @@ DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c22653
 DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c
 DIST ppx_tools-6.4.tar.gz 19051 BLAKE2B dcb3e5a4ca5dd6243cae013739b93c6fe100ca21ad56c46e284255977f4e6d4263ef8d937ed672939e5b31bbe0904dcb1d71105f49385ad5d43404b19a9fe2c6 SHA512 514aa283f6bee11bf257abec98a751c656db63203caa4caee5ce606bcdee75891441a794b0bac22e2ff2e5d2760cd39ffaa2fce6bb118155daf05175917e6e7c
 DIST ppx_tools-6.5.tar.gz 19200 BLAKE2B 5cc847fcde8610ad37dbc7884e38869123a59d81549a2ae9e4e2b2a5525cff36fe3e1a31375090dff9b5179b0e12e46d25d54f3a4cefab8cb42de08bb4347691 SHA512 1dc3f62307690161fc7d9f54715918341429bbe13dd68744e9468b41ab7c15ec95cb865135d11c3e3edc6cfb02658b0c731ce1e7756267cf71143ea8e88318fe
+DIST ppx_tools-6.6.tar.gz 19265 BLAKE2B f4f89eeb314ad76c0337ed9c782ff2bf1473172a30ced4616ee35f34f8b25dd16aa0331fab48afd891a54eaf58599ed4c6730d4dd3ea7e462d967d8279b487c8 SHA512 7bbb9a8d9aaa68c54048fde383f7ba2499ac53bbc2d7e3ba907de342ea48ffded69acc2e4ca4c38c2b2b1004b5e004230988a36ad34a4b5361c2a3ad1f858a53
diff --git a/dev-ml/ppx_tools/ppx_tools-6.6.ebuild b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild
new file mode 100644
index 000000000000..0716cf4a4310
--- /dev/null
+++ b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+MY_PV=$(ver_rs 2 '+')
+DESCRIPTION="Tools for authors of ppx rewriters"
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+BDEPEND="
+	dev-ml/cppo
+"
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 1698c6552d89..89a415b11b10 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1 +1,2 @@
 DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe
+DIST qcheck-0.20.tar.gz 205616 BLAKE2B af693ccc2830a70e3ab783a05da828b54ff9ac357fa01cb2ddc3db29901c120a9c48b0c6090e5324aecaf4b8455001883c62e5e39963172aa5e0b124294169d9 SHA512 1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87
diff --git a/dev-ml/qcheck/qcheck-0.20.ebuild b/dev-ml/qcheck/qcheck-0.20.ebuild
new file mode 100644
index 000000000000..9a40d01067cd
--- /dev/null
+++ b/dev-ml/qcheck/qcheck-0.20.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
+HOMEPAGE="https://github.com/c-cube/qcheck"
+SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"  # tests fail
+
+RDEPEND="
+	dev-ml/alcotest:=
+	dev-ml/ounit2:=
+"
+DEPEND="${RDEPEND}"
+
+src_install() {
+	# "ppx_deriving_qcheck" does not install but only "ppx_pbt" depends on it
+	local i
+	for i in qcheck qcheck-alcotest qcheck-core qcheck-ounit ; do
+		dune_src_install ${i}
+	done
+
+	einstalldocs
+}
+
+src_test() {
+	emake test
+}
diff --git a/dev-ml/sedlex/Manifest b/dev-ml/sedlex/Manifest
index 116025024d80..56d44bb4a308 100644
--- a/dev-ml/sedlex/Manifest
+++ b/dev-ml/sedlex/Manifest
@@ -3,3 +3,4 @@ DIST sedlex-2.3-DerivedGeneralCategory.txt 255731 BLAKE2B 4cc70d21872e6c8d4a26dd
 DIST sedlex-2.3-PropList.txt 123554 BLAKE2B 3b0a0e12315acfa67e51e48133652b12b45473a22a90f7d2cad91e149cf861f59daf02f8a15aa1138a879be4645d0d6bd48d6a2b39e61584d45f4e763b635ee0 SHA512 1979d14eaa43512ad681f8ebffd93b6bf5b0edacb72d01d7814aa293083e4834840223848c492d96f75a3cc8b219a6671e85158ccde4d283b37be3f9e2f071e4
 DIST sedlex-2.3.tar.gz 114507 BLAKE2B ba777d90ceba41136ac552a2aea860b2932dc2c27d02a5875e8533d6740bcababe444d27427fbae59739a42901b3fb85f7b2ed8fd318f984734e7283ecd7e69e SHA512 f91bbda9e79417e0a7c723a8efd9644404ffc91c60898b8fa07a514c38bc8472eae34419405354ae80966feb8d3203943f78776ad395a16132c7c890e3dbd7d8
 DIST sedlex-2.5.tar.gz 134289 BLAKE2B 47aa67ed34ee0226b92d538e61bbf7252dcead236dd51d4a291c7b81f7d0747d1024e9eb0a274d7648b25cfa078108e3e62d54ea2702450171b9ff4ab60f7706 SHA512 5c511a89e43999b34e50cc820a4ac71ecd0315ef144da2af1653077d7497b2ce3658898b723a7c558693766e6bc57369349cdf78c4a4b962a23d4528161b78ef
+DIST sedlex-3.0.tar.gz 133248 BLAKE2B f1adb73087b132d4e99b4785af3a99d3d82ee860d16691c48fbec6bd2776d8de23f736f5d6f21b734c846ef793caa8e7c925ce58dfc472d205268eab39973c6a SHA512 564780b7af8b3ddd32c9164caa42fd24b2ff59e0bf9977bcee4c3ddea2be3f0c870bd95949b639c5f1942e0fa2604902f5cd3eb9041d59b6ee2367895df556df
diff --git a/dev-ml/sedlex/sedlex-2.5.ebuild b/dev-ml/sedlex/sedlex-2.5-r1.ebuild
index cc4748a81f3b..87cc6542f10d 100644
--- a/dev-ml/sedlex/sedlex-2.5.ebuild
+++ b/dev-ml/sedlex/sedlex-2.5-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -17,7 +17,7 @@ IUSE="+ocamlopt"
 
 DEPEND="
 	dev-ml/gen:=
-	dev-ml/ppxlib:=
+	<dev-ml/ppxlib-0.26:=
 	dev-ml/uchar:=
 "
 RDEPEND="${DEPEND}"
diff --git a/dev-ml/sedlex/sedlex-3.0.ebuild b/dev-ml/sedlex/sedlex-3.0.ebuild
new file mode 100644
index 000000000000..7cf89cfc99cc
--- /dev/null
+++ b/dev-ml/sedlex/sedlex-3.0.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="An OCaml lexer generator for Unicode"
+HOMEPAGE="https://github.com/ocaml-community/sedlex"
+SRC_URI="https://github.com/ocaml-community/${PN}/archive/v${PV}.tar.gz
+			-> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+	dev-ml/gen:=
+	>=dev-ml/ppxlib-0.26:=
+	dev-ml/uchar:=
+"
+RDEPEND="${DEPEND}"
+
+src_compile() {
+	ebegin "Building"
+	dune build @install --display short --profile release \
+		--ignore-promoted-rules
+	eend $? || die
+}
+
+dune_src_test() {
+	ebegin "Testing"
+	dune runtest --display short --profile release \
+		--ignore-promoted-rules
+	eend $? || die
+}
diff --git a/dev-ml/sexp_pretty/Manifest b/dev-ml/sexp_pretty/Manifest
index 0b56b3b8d0ac..2f426c485ada 100644
--- a/dev-ml/sexp_pretty/Manifest
+++ b/dev-ml/sexp_pretty/Manifest
@@ -1 +1,2 @@
 DIST sexp_pretty-0.15.0.tar.gz 22407 BLAKE2B df8d246ebe1164f0d2d3ae78074c8249d2aa255a089e02eb9fcc0c21b808dc172da2da264d3b21b92dcc7bf9e51a2921ea8631eb45b45a46035447ead7abe02d SHA512 bc2a7aecfc3ae379a56e8940b9cc80ece686009c9f67233e7993e25ebbe251d62559601923db718a0f967cf42fc84024597c069659842760bb2ac5ce0eab8df2
+DIST sexp_pretty-0.15.1.tar.gz 22410 BLAKE2B e3819bce21afb8addcf391aff7a330db7f332c338d11f87cf0264d0e8d45ead7897b881a646a908e6165e2b60b9d49c6f2cb4da26ef7f3402ddbc864ff6b088b SHA512 900accca43727f8e7603f21adb0b2bc5a121b1444112b152ed1bfd6ace553b3cd4b2f80371a8f924b636ea33cfa26e913bdcd0ab42e5af5fd24f21ecbca8e736
diff --git a/dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild b/dev-ml/sexp_pretty/sexp_pretty-0.15.0-r1.ebuild
index a7320a57b1d9..df25c3ade56d 100644
--- a/dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild
+++ b/dev-ml/sexp_pretty/sexp_pretty-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2022 Gentoo Authors
+# Copyright 2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -17,6 +17,8 @@ IUSE="+ocamlopt"
 
 DEPEND="
 	dev-ml/ppx_base:${SLOT}
+	dev-ml/ppx_hash:=
+	dev-ml/ppxlib:=
 	dev-ml/sexplib:${SLOT}
 	dev-ml/re:=
 "
diff --git a/dev-ml/sexp_pretty/sexp_pretty-0.15.1-r1.ebuild b/dev-ml/sexp_pretty/sexp_pretty-0.15.1-r1.ebuild
new file mode 100644
index 000000000000..4badad5e37df
--- /dev/null
+++ b/dev-ml/sexp_pretty/sexp_pretty-0.15.1-r1.ebuild
@@ -0,0 +1,27 @@
+# Copyright 2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="S-expression pretty-printer"
+HOMEPAGE="https://github.com/janestreet/sexp_pretty"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+	dev-ml/ppxlib:=
+	dev-ml/ppx_base:${SLOT}
+	dev-ml/ppx_enumerate:=
+	dev-ml/ppx_hash:=
+	dev-ml/re:=
+	dev-ml/sexplib:${SLOT}
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""
diff --git a/dev-ml/sexplib/Manifest b/dev-ml/sexplib/Manifest
index e5e338946c7d..3dd9b817f7b1 100644
--- a/dev-ml/sexplib/Manifest
+++ b/dev-ml/sexplib/Manifest
@@ -1,2 +1,3 @@
 DIST sexplib-0.14.0.tar.gz 54055 BLAKE2B d0ee1470fb9d28eb6d6ed3aaf0f6bd63d7c4860183ac287054f08bc54d57d0c52ebf9fe516aa991d8c66967ecc6ad95b6a6d19eb40a9f610a6f91f832d9d2e20 SHA512 e77a9ae8991e6b73de57ab6b7068d6482471dd34ff0af23b93b5ba57bd69493d15db3279d3b328280f716e531c08c2a6c39bfaa886f1934240dcc13724673684
 DIST sexplib-0.15.0.tar.gz 55020 BLAKE2B 250d2d791abab87e18ad363dc2140d436cec90469156c2bd37d3de533dd219891bdc5e518d1a37eb8ee4e34f1ec5e924684f1408487d3080c5cfe4a0f32e2d69 SHA512 c31fed5e5bf48381a9b6a48085e7d8909471e38a8cc7586e3c520fe60c6df7a1eebcca1a0ca93cd4d1cc61c1c3c36211db05572273550f7218eb69dd97d27333
+DIST sexplib-0.15.1.tar.gz 55000 BLAKE2B 8f93590ad1cf5fc8286a3a99711d977d36e875e531ec2149fcfebda5d95aa42f29bd0efb16073a71effd854265f15b303291c9d17f848a9fdd3dcc174baed912 SHA512 05a1cbca244286020af6c5ba1d92b32f5d7940dc409c61a8fc5ff114bec60167c8381ae997b53998ea3c0d5167ee77bf160873958512199b06efec1a2a191a7b
diff --git a/dev-ml/sexplib/sexplib-0.15.1.ebuild b/dev-ml/sexplib/sexplib-0.15.1.ebuild
new file mode 100644
index 000000000000..084936b7b542
--- /dev/null
+++ b/dev-ml/sexplib/sexplib-0.15.1.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Library for automated conversion of OCaml-values to and from S-expressions"
+HOMEPAGE="https://github.com/janestreet/sexplib"
+SRC_URI="https://github.com/janestreet/sexplib/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	dev-ml/parsexp:0/0.15
+	dev-ml/base:0/0.15
+	dev-ml/sexplib0:0/0.15
+	dev-ml/num:=
+"
+DEPEND="${RDEPEND}"
diff --git a/dev-ml/sexplib0/Manifest b/dev-ml/sexplib0/Manifest
index 52712aab9c97..bac86e3b5a5f 100644
--- a/dev-ml/sexplib0/Manifest
+++ b/dev-ml/sexplib0/Manifest
@@ -1,2 +1,3 @@
 DIST sexplib0-0.14.0.tar.gz 17677 BLAKE2B bf906491cd8c8021b6737fa6a9510ad7421a01c448bd1e136cd7244eaeb27674a4c3e739be601a66b1f23a2f6dd2f19771b66fde88a2f3e75e24111ae5ace3e5 SHA512 cfffb390809a1ed3b99d3326a7c5035e2fedf7af084d94f6c0cff98ba641056b5b2896d56d32b1b27bdde29b199bbd32d174cdee84c2e1541cb7f2e4bf00e4ed
 DIST sexplib0-0.15.0.tar.gz 16706 BLAKE2B 154b8f3cb48dd6f13e7ed9679a8ecde6ae57a7a0d70f50c214f088f377d52b1c00b5d7545f9949fd4d17f21ffb9187981b0d009b063c48d252926fdd7a49307f SHA512 ae44c3724b8f7bf8a19bbb10464a21d74b662c77ba3937bab6ca9709843ee2ae7da44432d6dbf4f744cabc3e369b5d2fc89c16e372c3cb77e55077b5efda3041
+DIST sexplib0-0.15.1.tar.gz 16106 BLAKE2B ab994e151166860c85d646cd759031f668577f2ff97e86b9a949f510220fc84dc80d7c41c91c2ba5e5946c8c4d95d3bb469f2669d919068a05ac5c4fdc4a8f59 SHA512 3f15e011b180cccd96882b6b3d3922c13622151713080261a9646d8df896635a6a85e2df6a5d332784678d0d1cae7eccb190769ac4d9bd68b040bc3b41362056
diff --git a/dev-ml/sexplib0/sexplib0-0.15.1.ebuild b/dev-ml/sexplib0/sexplib0-0.15.1.ebuild
new file mode 100644
index 000000000000..29ab440e5982
--- /dev/null
+++ b/dev-ml/sexplib0/sexplib0-0.15.1.ebuild
@@ -0,0 +1,16 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Library for automated conversion of OCaml-values to and from S-expressions"
+HOMEPAGE="https://github.com/janestreet/sexplib0"
+SRC_URI="https://github.com/janestreet/sexplib0/archive/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"